Sciweavers

3233 search results - page 196 / 647
» Validation Method for Intelligent Systems
Sort
View
134
Voted
AIME
2003
Springer
15 years 9 months ago
Linking Clinical Guidelines with Formal Representations
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
Peter Votruba, Silvia Miksch, Robert Kosara
108
Voted
EVOW
1999
Springer
15 years 8 months ago
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
AAAI
2006
15 years 5 months ago
Learning Blocking Schemes for Record Linkage
Record linkage is the process of matching records across data sets that refer to the same entity. One issue within record linkage is determining which record pairs to consider, si...
Matthew Michelson, Craig A. Knoblock
148
Voted
JMM2
2006
139views more  JMM2 2006»
15 years 3 months ago
Robust Real-time 3D Detection of Obstructed Head and Hands in Indoors Environments
We address the need for robust detection of obstructed human features in complex environments, with a focus on intelligent surgical UIs. In our setup, real-time detection is used t...
Sébastien Grange, Charles Baur
110
Voted
CCIA
2009
Springer
15 years 1 months ago
Patch Growing: Object segmentation using spatial coherence of local patches
Object segmentation is a challenging and important problem in computer vision. The difficulties to obtain accurate segmentations using only the traditional Topdown or Bottom-up ap...
Marc Masias, Albert Torrent, Xavier Lladó, ...