Sciweavers

2178 search results - page 18 / 436
» Inferring complex plans
Sort
View
NIPS
2007
15 years 4 months ago
Discovering Weakly-Interacting Factors in a Complex Stochastic Process
Dynamic Bayesian networks are structured representations of stochastic processes. Despite their structure, exact inference in DBNs is generally intractable. One approach to approx...
Charlie Frogner, Avi Pfeffer
130
Voted
WABI
2010
Springer
168views Bioinformatics» more  WABI 2010»
15 years 15 days ago
The Complexity of Inferring a Minimally Resolved Phylogenetic Supertree
Abstract. A recursive algorithm by Aho, Sagiv, Szymanski, and Ullman [1] forms the basis for many modern rooted supertree methods employed in Phylogenetics. However, as observed by...
Jesper Jansson, Richard S. Lemence, Andrzej Lingas
123
Voted
ICMCS
1999
IEEE
164views Multimedia» more  ICMCS 1999»
15 years 7 months ago
A Semi-Automatic System to Infer Complex 3-D Shapes from Photographs
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
Qian Chen, Gérard G. Medioni
117
Voted
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
15 years 1 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
102
Voted
POPL
2010
ACM
15 years 9 months ago
Type inference for datalog with complex type hierarchies
Max Schäfer, Oege de Moor