Sciweavers

3025 search results - page 339 / 605
» A User-Centered Location Model
Sort
View
FMOODS
2008
15 years 8 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
NIPS
2008
15 years 8 months ago
Unifying the Sensory and Motor Components of Sensorimotor Adaptation
Adaptation of visually guided reaching movements in novel visuomotor environments (e.g. wearing prism goggles) comprises not only motor adaptation but also substantial sensory ada...
Adrian Haith, Carl P. T. Jackson, R. Chris Miall, ...
ICVGIP
2004
15 years 8 months ago
The Space of Human Shapes
We develop a novel method for fitting high-resolution template meshes to detailed human body range scans with sparse 3D markers. We formulate an optimization problem in which the ...
Brian Curless
IKE
2004
15 years 8 months ago
Ontology based Semantic Metadata for Geoscience Data
In Geoscience domain, large amounts of data are accessible, however they vary in formats and are stored at various organizations leading to problems of data discovery, data intero...
Viral Parekh, Jin-Ping Gwo, Timothy W. Finin
NIPS
2004
15 years 8 months ago
Assignment of Multiplicative Mixtures in Natural Images
In the analysis of natural images, Gaussian scale mixtures (GSM) have been used to account for the statistics of filter responses, and to inspire hierarchical cortical representat...
Odelia Schwartz, Terrence J. Sejnowski, Peter Daya...