1536 search results - page 111 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
EDBT
2004
ACM
15 years 3 months ago
2004
ACM
Qualitative spatial reasoning forms an important part of the commonsense reasoning required for building intelligent Geographical Information Systems (GIS). Previous research has c...
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
MCSS
2007
Springer
14 years 9 months ago
2007
Springer
We extend the classes of standard discrete- and continuous-time input/state/ output matrix systems by adding reverse internal and/or external channels. The reverse internal channe...
SIGMOD
2003
ACM
15 years 10 months ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
EMMCVPR
2001
Springer
15 years 2 months ago
2001
Springer
In a previous paper we described a system which recursively recovers a super-resolved three dimensional surface model from a set of images of the surface. In that paper we assumed ...