3185 search results - page 554 / 637 » Data Mining with Graphical Models |
SMI
2005
IEEE
15 years 5 months ago
2005
IEEE
Feature sensitive mesh segmentation is important for many computer graphics and geometric modeling applications. In this paper, we develop a mesh segmentation method which is capa...
TACAS
2004
Springer
15 years 5 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...
110
click to vote
EDBT
1992
ACM
15 years 3 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...
ECAI
2006
Springer
15 years 3 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 1 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...