2176 search results - page 84 / 436 » Refactoring Methods for Knowledge Bases |
AI
2005
Springer
14 years 9 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
WM
2003
14 years 11 months ago
2003
: Three-dimensional visualization facilitates human perception, imagination, and reasoning based on computer-represented knowledge. Since human imagination and reasoning is based o...
ICEIS
2002
IEEE
15 years 2 months ago
2002
IEEE
: We aim at elaborating a decision support system to manage concrete experience, using Artificial Intelligence methods, such as Case-Based Reasoning. We target any organization tha...
JMIV
2006
14 years 9 months ago
2006
We propose a new method for the Lambertian Shape From Shading (SFS) problem based on the notion of Crandall-Lions viscosity solution. This method has the advantage of requiring the...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— We present an easy-to-use calibration method for MEMS inertial sensor units based on the Factorization method which was originally invented for shape-and-motion recovery in com...