1450 search results - page 258 / 290 » Complexity of Inference in Graphical Models |
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
SMA
2003
ACM
14 years 2 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
CVPR
1996
IEEE
14 years 1 months ago
1996
IEEE
We present a vision system for the 3-D modelbased tracking of unconstrained human movement. Using image sequences acquired simultaneously from multiple views, we recover the 3-D b...
DMDW
2003
13 years 10 months ago
2003
Data Warehouse-(DW) logical design often start with a conceptual schema and then generates relational structures. Applying this approach implies to cope with two main aspects: (i) ...