Sciweavers

1773 search results - page 129 / 355
» The Visibility-Voronoi Complex and Its Applications
Sort
View
EWSA
2004
Springer
15 years 11 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
PATMOS
2004
Springer
15 years 11 months ago
An Efficient Low-Degree RMST Algorithm for VLSI/ULSI Physical Design
Motivated by very/ultra large scale integrated circuit (VLSI/ULSI) physical design applications, we study the construction of rectilinear minimum spanning tree (RMST) with its maxi...
Yin Wang, Xianlong Hong, Tong Jing, Yang Yang, Xia...
CA
2003
IEEE
15 years 11 months ago
Realistic Human Walking Paths
Pedestrian navigation is a complex function of human dynamics, a desired destination, and the presence of obstacles. People cannot stop and start instantaneously and their turning...
David C. Brogan, Nicholas L. Johnson
CCGRID
2003
IEEE
15 years 11 months ago
MAGNET: A Tool for Debugging, Analyzing and Adapting Computing Systems
As computing systems grow in complexity, the cluster and grid communities require more sophisticated tools to diagnose, debug and analyze such systems. We have developed a toolkit...
Mark K. Gardner, Wu-chun Feng, Michael Broxton, Ad...
ICCV
2003
IEEE
15 years 11 months ago
Markov-Based Failure Prediction for Human Motion Analysis
This paper presents a new method of detecting and predicting motion tracking failures with applications in human motion and gait analysis. We define a tracking failure as an event...
Shiloh L. Dockstader, Nikita S. Imennov, A. Murat ...