1536 search results - page 101 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
UML
2004
Springer
15 years 3 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
There are principal differences between the relational model and XML's tree model. This causes problems in all cases where information from these two worlds has to be brought...
111
click to vote
HT
2009
ACM
15 years 4 months ago
2009
ACM
The digital world enables the creation of personalized documents. In this paper we are interested in describing a computer mediated activity by a person throughout a semi-automati...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
CVPR
2006
IEEE
15 years 12 months ago
2006
IEEE
We study the epipolar geometry between views acquired by mixtures of central projection systems including catadioptric sensors and cameras with lens distortion. Since the projecti...