7890 search results - page 225 / 1578 » The MathSAT 3 System |
142
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Organ deformation between preoperative image data and the patient in the OR is the main obstacle for using surgical navigation systems in liver surgery. Our approach is to provide ...
149
click to vote
STOC
2007
ACM
16 years 6 months ago
2007
ACM
A classic result due to H?astad established that for every constant > 0, given an overdetermined system of linear equations over a finite field Fq where each equation depends o...
189
Voted
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents an integrated modeling system capable of generating coloured three dimensional representations of a scene observed from multiple viewpoints. Emphasis is given ...
175
click to vote
AICT
2008
IEEE
16 years 22 days ago
2008
IEEE
—Third generation (3G) packet switched WCDMA networks with high-speed downlink packet access (HSPDA) are currently being deployed worldwide to provide wireless broadband connecti...
115
click to vote
CDC
2008
IEEE
16 years 22 days ago
2008
IEEE
— In this paper we study the Carnot-Caratheodory metrics on SU(2) S3 , SO(3) and SL(2) induced by their Cartan decomposition and by the Killing form. Besides computing explicitly...