2796 search results - page 95 / 560 » The coolest path problem |
119
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
135
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— Accurate measurement of network bandwidth is crucial for network management applications as well as flexible Internet applications and protocols which actively manage ...
138
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Location tracking technologies are penetrating increasingly in industrial environments. Several challenges arise when people or mobile assets are tracked. Security is one of the ma...
112
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
A master-slave type remote ultrasound diagnostic system was developed. The controller has impedance control capability for the master and slave manipulators' positions. And it...
162
click to vote
HISB
2011
14 years 4 months ago
2011
—Spinal cord analysis is an important problem in the study of various neurological diseases. Current segmentation and analysis methods in clinical use are slow and laborintensive...