1060 search results - page 86 / 212 » Mechanized semantics |
MIDDLEWARE
2005
Springer
15 years 3 months ago
2005
Springer
The content-based publish/subscribe model has been adopted by many services to deliver data between distributed users based on application-specific semantics. Two key issues in su...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
109
click to vote
MLDM
2001
Springer
15 years 2 months ago
2001
Springer
: Despite the efforts to reduce the semantic gap between user perception of similarity and featurebased representation of images, user interaction is essential to improve retrieval...
ECOOP
2000
Springer
15 years 2 months ago
2000
Springer
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...
IV
2002
IEEE
15 years 2 months ago
2002
IEEE
IVPrototype is an Information Visualization Prototype for the visualization of both geometrical and non-geometrical data. Our goal is to provide a generic system that automaticall...