Sciweavers

1256 search results - page 159 / 252
» Learning to Reason
Sort
View
JAIR
2010
145views more  JAIR 2010»
13 years 7 months ago
Planning with Noisy Probabilistic Relational Rules
Noisy probabilistic relational rules are a promising world model representation for several reasons. They are compact and generalize over world instantiations. They are usually in...
Tobias Lang, Marc Toussaint
DAC
2005
ACM
14 years 10 months ago
Efficient SAT solving: beyond supercubes
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
SDM
2009
SIAM
126views Data Mining» more  SDM 2009»
14 years 6 months ago
An Entity Based Model for Coreference Resolution.
Recently, many advanced machine learning approaches have been proposed for coreference resolution; however, all of the discriminatively-trained models reason over mentions rather ...
Michael L. Wick, Aron Culotta, Khashayar Rohaniman...
SIGCSE
2004
ACM
101views Education» more  SIGCSE 2004»
14 years 2 months ago
PL-detective: a system for teaching programming language concepts
The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, p...
Amer Diwan, William M. Waite, Michele H. Jackson
CVPR
2007
IEEE
14 years 11 months ago
3D LayoutCRF for Multi-View Object Class Recognition and Segmentation
We introduce an approach to accurately detect and segment partially occluded objects in various viewpoints and scales. Our main contribution is a novel framework for combining obj...
Derek Hoiem, Carsten Rother, John M. Winn