Sciweavers

478 search results - page 15 / 96
» Knowledge modeling directed by situation-specific models
Sort
View
ASP
2003
Springer
15 years 2 months ago
What's in a model? Epistemological analysis of Logic Programming
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
Marc Denecker
AMDO
2000
Springer
15 years 1 months ago
Model Adaptation and Posture Estimation of Moving Articulated Object Using Monocular Camera
This paper presents a method of estimating both 3-D shapes and moving poses of an articulated object from a monocular image sequence. Instead of using direct depth data, prior loo...
Nobutaka Shimada, Yoshiaki Shirai, Yoshinori Kuno
66
Voted
IJCAI
2007
14 years 11 months ago
A Factor Graph Model for Software Bug Finding
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
SYNTHESE
2008
130views more  SYNTHESE 2008»
14 years 9 months ago
Appropriateness measures: an uncertainty model for vague concepts
Abstract We argue that in the decision making process required for selecting assertible vague descriptions of an object, it is practical that communicating agents adopt an epistemi...
Jonathan Lawry
MVA
1990
133views Computer Vision» more  MVA 1990»
14 years 10 months ago
Using and Generating Environment Models for Indoor Mobile Robots
An autonomous mobile robot must be able to combine uncertain sensory information with prior knowledge of the world. Moreover, these operations have to be performed fast enough for...
Yuval Roth-Tabak, Terry E. Weymouth