Sciweavers

3825 search results - page 524 / 765
» The Language of Time: A Reader
Sort
View
DBPL
2003
Springer
130views Database» more  DBPL 2003»
16 years 14 days ago
Attribute Grammars for Scalable Query Processing on XML Streams
We introduce the new notion of XML Stream Attribute Grammars (XSAGs). XSAGs are the first scalable query language for XML streams (running strictly in linear time with bounded mem...
Christoph Koch, Stefanie Scherzinger
FM
2003
Springer
107views Formal Methods» more  FM 2003»
16 years 14 days ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
FM
2003
Springer
107views Formal Methods» more  FM 2003»
16 years 14 days ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
GW
2003
Springer
150views Biometrics» more  GW 2003»
16 years 14 days ago
Database Indexing Methods for 3D Hand Pose Estimation
Abstract. Estimation of 3D hand pose is useful in many gesture recognition applications, ranging from human-computer interaction to automated recognition of sign languages. In this...
Vassilis Athitsos, Stan Sclaroff
ICALP
2003
Springer
16 years 14 days ago
Optimal Cache-Oblivious Implicit Dictionaries
We consider the issues of implicitness and cache-obliviousness in the classical dictionary problem for n distinct keys over an unbounded and ordered universe. One finding in this ...
Gianni Franceschini, Roberto Grossi