481 search results - page 29 / 97 » Validity of First-Order Knowledge Bases |
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Navier’s equations modelling linear elastic solid deformations are embedded within an Extended Kalman Filter (EKF) to compute a sequential Bayesian estimate for the Non-Rigid St...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
We have used a design science approach to study the collaborative creation of conceptual models. We have designed a collaborative modeling architecture based on business needs and...
ECCV
1998
Springer
13 years 12 months ago
1998
Springer
Different applications in the field of vision-based navigation of autonomous mobile robots depend on the degree of knowledge of the environment. Indoor environment applications oft...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
We propose a novel generative language for shape that is based on the shock graph: given a shock graph topology, we explore constraints on the geometry and dynamics of the shock g...
ISMDA
2005
Springer
14 years 1 months ago
2005
Springer
New biomedical technologies need to be integrated for research on complex diseases. It is necessary to combine and analyze information coming from different sources: genetic-molecu...