481 search results - page 29 / 97 » Validity of First-Order Knowledge Bases |
301
click to vote
CVPR
2012
IEEE
13 years 8 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...
146
click to vote
HICSS
2009
IEEE
16 years 22 days 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...
198
click to vote
ECCV
1998
Springer
15 years 10 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...
156
click to vote
ICCV
2007
IEEE
16 years 7 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...
304
click to vote
ISMDA
2005
Springer
15 years 11 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...