7890 search results - page 414 / 1578 » The MathSAT 3 System |
201
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...
186
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
Most pose (3D position and 3D orientation) tracking methods using vision require a priori knowledge about the environment and correspondences between 3D environment features and 2...
186
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new exploration and optimization method to select customized implementations for dynamic data sets, as encountered in telecom network, database and multimedia applica...
152
click to vote
ISWC
1999
IEEE
15 years 11 months ago
1999
IEEE
By integrating visual media with positioning information obtained with our wearable computer, we create new opportunities for using visuals both in the field and at the workstatio...
161
click to vote
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We have used MRI-based three-dimensional (3D) reconstruction and a real-time, frameless, stereotactic navigation device to facilitate the removal of seizure foci in child...