939 search results - page 124 / 188 » Semantic Abstraction and Quantum Computation |
ICCS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
ICDCSW
2007
IEEE
14 years 4 months ago
2007
IEEE
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
WOLLIC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
CONEXT
2006
ACM
14 years 3 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...