Sciweavers

4850 search results - page 282 / 970
» Proof and Computation in Geometry
Sort
View
AINA
2007
IEEE
15 years 10 months ago
Domain Modelling for Ubiquitous Computing Applications
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
Anthony Harrington, Vinny Cahill
COMPLEXITY
2006
144views more  COMPLEXITY 2006»
15 years 6 months ago
BML revisited: Statistical physics, computer simulation, and probability
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...
Raissa M. D'Souza
ICIP
2007
IEEE
16 years 8 months ago
Geometric Calibration of Third-Generation Computed Tomography Scanners from Scans of Unknown Objects using Complementary Rays
To achieve good image quality for computed tomography scans, it is important to accurately know the geometrical relationship between the x-ray source, detector, and axis of rotati...
Kevin M. Holt
ISBI
2006
IEEE
16 years 7 months ago
Fast marching method to correct for refraction in ultrasound computed tomography
A significant obstacle in the advancement of Ultrasound Computed Tomography has been the lack of efficient and precise methods for the tracing of the bent rays that result from th...
Shengying Li, Klaus Mueller, Marcel Jackowski, Don...
3DPVT
2006
IEEE
183views Visualization» more  3DPVT 2006»
16 years 23 days ago
Computational Anatomy to Assess Longitudinal Trajectory of Brain Growth
This paper addresses the challenging problem of statistics on images by describing average and variability. We describe computational anatomy tools for building 3-D and spatio-tem...
Guido Gerig, Brad Davis, Peter Lorenzen, Shun Xu, ...