3765 search results - page 352 / 753 » Qualitative Action Systems |
180
click to vote
MVA
1990
15 years 8 months ago
1990
An industrial vision system is presented which is designed general enough not only to recognize parts but also to evaluate their quality, inspect the environment, and control a se...
195
click to vote
ENTCS
2008
15 years 7 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
176
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes a system capable of semi-automatically filling an XML template from free texts in the clinical domain (practice guidelines). The XML template includes semanti...
142
click to vote
JIRS
2007
15 years 7 months ago
2007
The decentralized navigation function methodology, established in our previous work for navigation of multiple holonomic agents with global sensing capabilities is extended to the...
218
click to vote
INFORMATICALT
2000
15 years 7 months ago
2000
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...