4666 search results - page 693 / 934 » Equations on Timed Languages |
126
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
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...
140
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
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...
148
click to vote
GW
2003
Springer
15 years 10 months ago
2003
Springer
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...
131
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
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 ...
147
click to vote
IDEAL
2003
Springer
15 years 10 months ago
2003
Springer
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...