78 search results - page 5 / 16 » Fully abstract semantics of additive aspects by translation |
110
click to vote
FAC
2008
14 years 9 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
COMPLEXITY
2007
14 years 9 months ago
2007
abstractions provides an additional supra-phenotypic vehicle for semantic inheritance, which supports the cultural heritages around which civilizations revolve. The following three...
90
Voted
CLEF
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...
AI
2010
Springer
14 years 9 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
SEMWEB
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. This paper describes the design and implementation of Bibster, a Peer-to-Peer system for exchanging bibliographic data among researchers. Bibster exploits ontologies in d...