6279 search results - page 19 / 1256 » Objects as session-typed processes |
142
click to vote
IJPRAI
2010
15 years 1 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
152
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper presents an approach to extracting and using semantic layers from low altitude aerial videos for scene understanding and object tracking. The input video is captured by...
165
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
122
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The Didactics of Informatics research group at the University of Paderborn is involved in efforts to design implement and evaluate a web-based learning laboratory for informatics ...
165
click to vote
SSDBM
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an approach to answering queries over an ontology modelled using a description logic. The ontology acts as a global schema, providing a declarative description...