70 results on '"Sato, Taisuke"'
Search Results
2. The medial proximal tibial angle accurately corrects the limb alignment in open-wedge high tibial osteotomy
3. Discretized Kinetic Models for Abductive Reasoning in Systems Biology
4. Variational Bayes Inference for Logic-Based Probabilistic Models on BDDs
5. Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs
6. Generative Modeling by PRISM
7. Logic-Based Probabilistic Modeling
8. New Advances in Logic-Based Probabilistic Modeling by PRISM
9. Identification of MCMC Samples for Clustering
10. Variational Bayesian Grammar Induction for Natural Language
11. Negation Elimination for Finite PCFGs
12. EM Learning for Symbolic-Statistical Models in Statistical Abduction
13. Statistical Abduction with Tabulation
14. Simplified Training Algorithms for Hierarchical Hidden Markov Models
15. Parameterized Logic Programs where Computing Meets Learning
16. Efficient EM Learning with Tabulation for Parameterized Logic Programs
17. A Graphical Method for Parameter Learning of Symbolic-Statistical Models
18. Genetic Programming with local hill-climbing
19. Inductive resolution
20. An equivalence preserving first order unfold/fold transformation system
21. Abstracting a Human’s Decision Process by PRISM
22. Discretized Kinetic Models for Abductive Reasoning in Systems Biology
23. Variational Bayes Inference for Logic-Based Probabilistic Models on BDDs
24. Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs
25. Logic-Based Probabilistic Modeling
26. Statistical Learning of Probabilistic BDDs
27. Generative Modeling by PRISM
28. New Advances in Logic-Based Probabilistic Modeling by PRISM
29. Statistical Learning of Probabilistic BDDs
30. Variational Bayesian Grammar Induction for Natural Language
31. Negation Elimination for Finite PCFGs
32. EM Learning for Symbolic-Statistical Models in Statistical Abduction
33. Statistical Abduction with Tabulation
34. Simplified Training Algorithms for Hierarchical Hidden Markov Models
35. Parameterized Logic Programs where Computing Meets Learning
36. Efficient EM Learning with Tabulation for Parameterized Logic Programs
37. A Graphical Method for Parameter Learning of Symbolic-Statistical Models
38. Genetic Programming with local hill-climbing
39. An equivalence preserving first order unfold/fold transformation system
40. Enumeration of success patterns in logic programs
41. OLD resolution with tabulation
42. An algorithm for intelligent backtracking
43. An algorithm for intelligent backtracking
44. Identification of MCMC Samples for Clustering
45. Automatic Verification Based on Abstract Interpretation
46. Implementing Encapsulated Search for a Lazy Functional Logic Language
47. A Functional-Logic Perspective of Parsing
48. Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers
49. Partial Evaluation and Non-interference for Object Calculi
50. Lazy Lexing is Fast
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.