Sciweavers

2096 search results - page 71 / 420
» Structured Parameter Elicitation
Sort
View
CAV
2004
Springer
93views Hardware» more  CAV 2004»
15 years 3 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
MICCAI
2001
Springer
15 years 2 months ago
Intraoperative Tracking of Anatomical Structures Using Fluoroscopy and a Vascular Balloon Catheter
We present preliminary work on a novel technique for tracking anatomical structures during medical procedures. A vascular balloon catheter is placed within a vessel in the structur...
Michael Rosenthal, Susan Weeks, Stephen R. Aylward...
DAGM
2000
Springer
15 years 2 months ago
Structured Covariance Matrices for Statistical Image Object Recognition
Abstract. In this paper we present di erent approaches to structuring covariance matrices within statistical classi ers. This is motivated by the fact that the use of full covarian...
Jörg Dahmen, Daniel Keysers, Michael Pitz, He...
ICVGIP
2004
14 years 11 months ago
Learning Layered Pictorial Structures from Video
We propose a new unsupervised learning method to obtain a layered pictorial structure (LPS) representation of an articulated object from video sequences. It will be seen that this...
M. Pawan Kumar, Philip H. S. Torr, Andrew Zisserma...
WCE
2007
14 years 11 months ago
Computer Applications to Structural Analysis of Pavements
—Surface wave method can be used to determine the properties of the component materials of a pavement structure. The measurements are made of the differences in the phase of a wa...
T. Akhlaghi