Sciweavers

2869 search results - page 85 / 574
» The Inference Problem: A Survey
Sort
View
JAR
2002
72views more  JAR 2002»
13 years 9 months ago
Partial Instantiation Methods for Inference in First-Order Logic
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
John N. Hooker, G. Rago, V. Chandru, A. Shrivastav...
ICASSP
2011
IEEE
13 years 1 months ago
Biological pathway inference using manifold embedding
Disease occurs due to aberrant modulation of biological pathways. Identification of activated gene pathways from gene expression data is an important problem. In this work, we de...
Arvind Rao, Alfred O. Hero
JMLR
2012
12 years 14 days ago
Minimax rates for homology inference
Often, high dimensional data lie close to a low-dimensional submanifold and it is of interest to understand the geometry of these submanifolds. The homology groups of a manifold a...
Sivaraman Balakrishnan, Alessandro Rinaldo, Don Sh...
IAT
2006
IEEE
14 years 4 months ago
Sixth-Sense: Context Reasoning for Potential Objects Detection in Smart Sensor Rich Environment
A new system named Sixth-Sense is proposed for obtaining physical world information in smart space. Our view is object-centered and sensors are attached to several objects in the ...
Bin Guo, Satoru Satake, Michita Imai
AI
2008
Springer
13 years 10 months ago
Pouring liquids: A study in commonsense physical reasoning
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
Ernest Davis