Sciweavers

2356 search results - page 334 / 472
» Characterizations of postman sets
Sort
View
HSNMC
2004
Springer
158views Multimedia» more  HSNMC 2004»
15 years 10 months ago
HMM-Based Monitoring of Packet Channels
Abstract. Performance of real-time applications on network communication channels are strongly related to losses and temporal delays. Several studies showed that these network feat...
Pierluigi Salvo Rossi, Francesco Palmieri, Giulio ...
ICALP
2004
Springer
15 years 10 months ago
Linear and Branching Metrics for Quantitative Transition Systems
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
Luca de Alfaro, Marco Faella, Mariëlle Stoeli...
IMR
2004
Springer
15 years 10 months ago
Mark-It: A Marking User Interface for Cutting Decomposition Time
We present Mark-It, a marking user interface that reduced the time to decompose a set of CAD models exhibiting a range of decomposition problems by as much as fifty percent. Inst...
Nicholas C. Yang, Andrew S. Forsberg, Jason F. She...
JCDCG
2004
Springer
15 years 10 months ago
Single-Vertex Origami and Spherical Expansive Motions
We prove that all single-vertex origami shapes are reachable from the open flat state via simple, non-crossing motions. We also consider conical paper, where the total sum of the ...
Ileana Streinu, Walter Whiteley
NOSSDAV
2004
Springer
15 years 10 months ago
AMPS: a flexible, scalable proxy testbed for implementing streaming services
— We present the design, implementation, and performance evaluation of AMPS — a flexible, scalable proxy testbed that supports a wide and extensible set of next-generation pro...
Xiaolan (Ellen) Zhang, Michael K. Bradshaw, Yang G...