1306 search results - page 244 / 262 » A Diagrammatic Approach to Model Completion |
162
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
183
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
The 3-D reconstruction of cardiac vasculature using C-arm CT is an active and challenging field of research. In interventional environments patients often do have arrhythmic heart ...
186
click to vote
TVCG
2011
15 years 29 days ago
2011
—This paper describes a complete system to create anatomically accurate example-based volume deformation and animation of articulated body regions, starting from multiple in vivo...
186
click to vote
INTERSPEECH
2010
15 years 25 days ago
2010
In this work, we describe a subword unit approach for information retrieval of items by voice. An algorithm based on the minimum description length (MDL) principle converts an ind...
263
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
Probabilistic databases have received considerable attention recently due to the need for storing uncertain data produced by many real world applications. The widespread use of pr...