1521 search results - page 50 / 305 » On Sampled Semantics of Timed Systems |
ICCS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The proliferation of sensor networks in various areas of technology has enabled real-time behavioral monitoring of various physical systems in various length and time sca...
SPAA
2005
ACM
14 years 4 months ago
2005
ACM
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
RT
2001
Springer
14 years 3 months ago
2001
Springer
We present new algorithms for creating and rendering visual hulls in real-time. Unlike voxel or sampled approaches, we compute an exact polyhedral representation for the visual hul...
SIMUTOOLS
2008
14 years 10 days ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
AP2PC
2004
Springer
14 years 4 months ago
2004
Springer
In a peer-to-peer (P2P) system, nodes typically connect to a small set of random nodes (their neighbors), and queries are propagated along these connections. Such query flooding t...