939 search results - page 35 / 188 » Semantic Abstraction and Quantum Computation |
ISSAC
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
ECAI
1992
Springer
15 years 1 months ago
1992
Springer
Abstract. A key step in Natural Language Processing is creating representations of sentences and discourses. Sentences describe states and events. Thus a crucial component of seman...
ESWS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We think of Match as an operator which takes two graph-like structures and produces a mapping between those nodes of the two graphs that correspond semantically to each o...
102
click to vote
CADE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
82
Voted
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 3 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...