700 search results - page 85 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
149
click to vote
CRV
2007
IEEE
16 years 21 days ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...
158
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Increasingly, applications are being built by combining existing software components. For the most part, a software developer can treat components as black-boxes. However, for som...
166
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
150
click to vote
IV
2006
IEEE
16 years 11 days ago
2006
IEEE
Current database technologies do not support contextualised representations of multi-dimensional narratives. This paper outlines a new approach to this problem using a multi-dimen...
154
click to vote
ESAW
2009
Springer
16 years 28 days ago
2009
Springer
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...