Sciweavers

632 search results - page 119 / 127
» On the Approximability of the Steiner Tree Problem
Sort
View
CVPR
2009
IEEE
3130views Computer Vision» more  CVPR 2009»
15 years 2 months ago
Motion Capture Using Joint Skeleton Tracking and Surface Estimation
This paper proposes a method for capturing the performance of a human or an animal from a multi-view video sequence. Given an articulated template model and silhouettes from a m...
Juergen Gall (BIWI, ETH Zurich), Carsten Stoll (Ma...
VIS
2004
IEEE
130views Visualization» more  VIS 2004»
14 years 8 months ago
The VesselGlyph: Focus & Context Visualization in CT-Angiography
Reliable and complete blood-vessel segmentation is still a challenging problem. This is especially true in the presence of morphologic changes resulting from atherosclerotic disea...
VLDB
2007
ACM
89views Database» more  VLDB 2007»
14 years 7 months ago
Effective Phrase Prediction
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
Arnab Nandi, H. V. Jagadish
COLT
2004
Springer
14 years 28 days ago
Graphical Economics
: We introduce a graph-theoretic generalization of classical Arrow-Debreu economics, in which an undirected graph specifies which consumers or economies are permitted to engage in...
Sham Kakade, Michael J. Kearns, Luis E. Ortiz
CONCUR
2000
Springer
13 years 12 months ago
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...