3185 search results - page 554 / 637 » Graphical models for data mining |
115
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
130
click to vote
EDBT
1992
ACM
15 years 6 months ago
1992
ACM
A general technique for merging database schemas is developed that has a number of advantages over existing techniques, the most important of which is that schemas are placed in a...
101
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this article we present the framework of Possibilistic Influence Diagrams (PID), which allow to model in a compact form problems of sequential decision making under un...
DAGM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper presents a fast object class localization framework implemented on a data parallel architecture currently available in recent computers. Our case study, the im...
116
click to vote
BILDMED
2008
15 years 3 months ago
2008
The intent of medical Augmented Reality (AR) is to augment the surgeon's real view on the patient with the patient's interior anatomy resulting from a suitable visualizat...