3931 search results - page 700 / 787 » Separation logic and abstraction |
171
click to vote
DBPL
1999
Springer
15 years 10 months 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...
161
click to vote
ICRA
1998
IEEE
15 years 10 months 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...
147
click to vote
SPAA
1998
ACM
15 years 10 months 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...
173
click to vote
EDBT
1998
ACM
15 years 10 months 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...
142
click to vote
FPL
1998
Springer
15 years 10 months ago
1998
Springer
The readily available performance advantages, gained in early virtual circuitry systems, are being recouped following advances in general purpose processor architectures and have ...