2540 search results - page 472 / 508 » Abstract Logics as Dialgebras |
DBPL
1999
Springer
14 years 3 days ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
ICLP
1999
Springer
14 years 3 days ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
ICRA
1998
IEEE
14 years 2 days ago
1998
IEEE
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
SPAA
1998
ACM
14 years 2 days ago
1998
ACM
We present a computation-centric theory of memory models. Unlike traditional processor-centric models, computation-centric models focus on the logical dependencies among instructi...
EDBT
1998
ACM
14 years 2 days ago
1998
ACM
Abstract. HySpirit is a retrieval engine for hypermedia retrieval integrating concepts from information retrieval (IR) and deductive databases. The logical view on IR models retrie...