Sciweavers

5131 search results - page 893 / 1027
» Heterogeneous Component Analysis
Sort
View
ICDCS
1999
IEEE
15 years 3 months ago
Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
Beth Plale, Karsten Schwan
ICTAI
1999
IEEE
15 years 3 months ago
Search Strategies for Hybrid Search Spaces
Recently, there has been much interest in enhancing purely combinatorial formalisms with numerical information. For example, planning formalisms can be enriched by taking resource...
Carla P. Gomes, Bart Selman
INFOVIS
1999
IEEE
15 years 3 months ago
Navigating Hierarchies with Structure-Based Brushes
Interactive selection is a critical component in exploratory visualization, allowing users to isolate subsets of the displayed information for highlighting, deleting, analysis, or...
Ying-Huey Fua, Matthew O. Ward, Elke A. Rundenstei...
CONCUR
1999
Springer
15 years 3 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
VR
1999
IEEE
185views Virtual Reality» more  VR 1999»
15 years 3 months ago
Hybrid Inertial and Vision Tracking for Augmented Reality Registration
The biggest single obstacle to building effective augmented reality (AR) systems is the lack of accurate wide-area sensors for trackers that report the locations and orientations ...
Suya You, Ulrich Neumann, Ronald Azuma