Sciweavers

3954 search results - page 275 / 791
» Image-based Model Completion
Sort
View
AAAI
2000
15 years 8 months ago
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
Craig Boutilier, Raymond Reiter, Mikhail Soutchans...
ICONIP
1998
15 years 8 months ago
Recognition of Hand Written Patterns by Rotation-Invariant Neocognitron
A rotation-invariant neocognitron, which has been recently proposed by authors, is trained by using hand-written numerical patterns provided by ETL-1 database. A new learning algo...
Shunji Satoh, Jousuke Kuroiwa, Hirotomo Aso, Shogo...
NIPS
2000
15 years 8 months ago
Structure Learning in Human Causal Induction
We use graphical models to explore the question of how people learn simple causal relationships from data. The two leading psychological theories can both be seen as estimating th...
Joshua B. Tenenbaum, Thomas L. Griffiths
WSC
1998
15 years 8 months ago
Incorporating Environmental Issues in a Filament Winding Composite Manufacturing System Simulation
This paper presents SimBuilder, a simulation system incorporating environmental and quality concerns into a traditional manufacturing simulation environment. These simulations can...
Dawn K. Russell, Phillip A. Farrington, Sherri L. ...
JAPLL
2007
113views more  JAPLL 2007»
15 years 6 months ago
Fresh Logic: proof-theory and semantics for FM and nominal techniques
In this paper we introduce Fresh Logic, a natural deduction style first-order logic extended with term-formers and quantifiers derived from the model of names and binding in abst...
Murdoch Gabbay