Sciweavers

1351 search results - page 27 / 271
» An Analysis of Inference with the Universum
Sort
View
BMCBI
2010
182views more  BMCBI 2010»
14 years 10 months ago
Beyond co-localization: inferring spatial interactions between sub-cellular structures from microscopy images
Background: Sub-cellular structures interact in numerous direct and indirect ways in order to fulfill cellular functions. While direct molecular interactions crucially depend on s...
Jo A. Helmuth, Grégory Paul, Ivo F. Sbalzar...
FATES
2003
Springer
15 years 3 months ago
Mutually Enhancing Test Generation and Specification Inference
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
Tao Xie, David Notkin
NIPS
2008
14 years 11 months ago
Relative Performance Guarantees for Approximate Inference in Latent Dirichlet Allocation
Hierarchical probabilistic modeling of discrete data has emerged as a powerful tool for text analysis. Posterior inference in such models is intractable, and practitioners rely on...
Indraneel Mukherjee, David M. Blei
POPL
1998
ACM
15 years 2 months ago
Local Type Inference
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
Benjamin C. Pierce, David N. Turner
COGSR
2010
116views more  COGSR 2010»
14 years 4 months ago
On the cognitive process of human problem solving
act 11 One of the fundamental human cognitive processes is problem solving. As a higher-layer cognitive process, problem solving interacts many other cognitive processes such as ab...
Yingxu Wang, Vincent Chiew