1746 search results - page 336 / 350 » A Constructive Semantics for ALC |
UML
2005
Springer
14 years 3 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...
MIR
2004
ACM
14 years 3 months ago
2004
ACM
In content-based image retrieval, relevance feedback has been introduced to narrow the gap between low-level image feature and high-level semantic concept. Furthermore, to speed u...
MM
2004
ACM
14 years 3 months ago
2004
ACM
This paper deals with phrase structure detection in contemporary western dance. Phrases are a sequence of movements that exist at semantic abstraction than gestures. The problem i...
PLDI
2004
ACM
14 years 3 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
ADS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. If we wish to implement dialogue systems which express emotion, dialogue corpora annotated for emotion would be a valuable resource. In order to develop such corpora we r...