2638 search results - page 261 / 528 » A Framework for Automatic Debugging |
190
click to vote
IPMI
2001
Springer
16 years 8 months ago
2001
Springer
This paper presents a Bayesian multi-scale three dimensional deformable template approach based on a medial representation for the segmentation and shape characterization of anatom...
176
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Prominent biomedical literature search tools like ScienceDirect, PubMed Central or MEDLINE allow for efficient retrieval of resources based on key words. Due to vast amou...
191
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
219
click to vote
ICNS
2006
IEEE
16 years 1 months ago
2006
IEEE
The Globus Toolkit is properly configured open source software for setting up grid nodes across multiple heterogeneous platforms. The process of grid enabling a machine is a long ...
220
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...