Sciweavers

1036 search results - page 48 / 208
» Utilizing Validation Experience for System Validation
Sort
View
QSIC
2007
IEEE
14 years 2 months 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
14 years 2 months 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
14 years 1 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»
14 years 1 days 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
13 years 9 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...