14779 search results - page 2871 / 2956 » On Ultrametric Algorithmic Information |
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
106
click to vote
EUROCRYPT
2004
Springer
15 years 5 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
108
click to vote
ICMI
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the Visual Touchpad, a low-cost vision-based input device that allows for fluid two-handed interactions with desktop PCs, laptops, public kiosks, or large wall...
107
click to vote
KDD
2004
ACM
15 years 5 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...