7133 search results - page 1143 / 1427 » Visualizing system latency |
137
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
126
click to vote
COMPGEOM
2001
ACM
15 years 7 months ago
2001
ACM
This paper addresses the problem of lossy compression of arrangements. Given an arrangement of n lines in the plane, we show how to construct another arrangement consisting of man...
112
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
149
click to vote
HUMO
2000
Springer
15 years 7 months ago
2000
Springer
Seeing biological motion is very important for both humans and computers. Psychophysics experiments show that the ability of our visual system for biological motion detection and ...
120
click to vote
MA
2000
Springer
15 years 7 months ago
2000
Springer
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...