5451 search results - page 1007 / 1091 » Typed Operational Semantics |
145
Voted
CP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
139
click to vote
MIR
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
129
Voted
CIVR
2008
Springer
15 years 4 months ago
2008
Springer
Various query methods for video search exist. Because of the semantic gap each method has its limitations. We argue that for effective retrieval query methods need to be combined ...
131
Voted
EON
2008
15 years 4 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
124
Voted
I3
2007
15 years 4 months ago
2007
The main objective of this work is to exploit the relationship between the information findability problem and a subject-based organization of information. Identification of a sub...