1567 search results - page 194 / 314 » A Mechanized Model of the Theory of Objects |
112
click to vote
ER
2007
Springer
15 years 7 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
125
click to vote
SSIAI
2000
IEEE
15 years 6 months ago
2000
IEEE
In this paper we propose a new probabilistic relaxation framework to perform robust multiple motion estimation and segmentation from a sequence of images. Our approach uses displa...
170
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
123
click to vote
KCAP
2005
ACM
15 years 7 months ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
111
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...