Sciweavers

4708 search results - page 243 / 942
» Generating the Structure of Argument
Sort
View
UAI
2004
15 years 8 months ago
Solving Factored MDPs with Continuous and Discrete Variables
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
Carlos Guestrin, Milos Hauskrecht, Branislav Kveto...
CORR
2006
Springer
144views Education» more  CORR 2006»
15 years 6 months ago
Estimation of linear, non-gaussian causal models in the presence of confounding latent variables
The estimation of linear causal models (also known as structural equation models) from data is a well-known problem which has received much attention in the past. Most previous wo...
Patrik O. Hoyer, Shohei Shimizu, Antti J. Kerminen
CORR
2004
Springer
119views Education» more  CORR 2004»
15 years 6 months ago
On Role Logic
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
Viktor Kuncak, Martin C. Rinard
KBSE
2007
IEEE
16 years 26 days ago
Directed test generation using symbolic grammars
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
Rupak Majumdar, Ru-Gang Xu
SSPR
2010
Springer
15 years 5 months ago
Information Theoretical Kernels for Generative Embeddings Based on Hidden Markov Models
Many approaches to learning classifiers for structured objects (e.g., shapes) use generative models in a Bayesian framework. However, state-of-the-art classifiers for vectorial d...
André F. T. Martins, Manuele Bicego, Vittor...