Sciweavers

1036 search results - page 48 / 208
» Utilizing Validation Experience for System Validation
Sort
View
QSIC
2007
IEEE
16 years 8 days ago
A Scriptable, Statistical Oracle for a Metadata Extraction System
An oracle is described for dynamic validation of an application (metadata extraction from scanned documents) where a moderate failure rate is acceptable provided that instances of...
Kurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf...
CLUSTER
2006
IEEE
16 years 1 days ago
Robust task scheduling in non-deterministic heterogeneous computing systems
The paper addresses the problem of matching and scheduling of DAG-structured application to both minimize the makespan and maximize the robustness in a heterogeneous computing sys...
Zhiao Shi, Emmanuel Jeannot, Jack Dongarra
MICCAI
2005
Springer
15 years 11 months ago
Data-Fusion Display System with Volume Rendering of Intraoperatively Scanned CT Images
In this study we have designed and created a data-fusion display that has enabled volumetric MIP image navigation using intraoperative C-arm CT data in the operating room. The 3D v...
Mitsuhiro Hayashibe, Naoki Suzuki, Asaki Hattori, ...
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 10 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
IJCAI
1989
15 years 7 months ago
Real-Time AI Systems: A Definition and An Architecture
Speed alone is insufficient for real-time performance. We define real-time performance in terms of speed, responsiveness, timeliness, and graceful adaptation. We claim that all fo...
Rajendra T. Dodhiawala, N. S. Sridharan, Peter Rau...