Sciweavers

4320 search results - page 248 / 864
» Functional Objects
Sort
View
MM
2006
ACM
134views Multimedia» more  MM 2006»
16 years 16 days ago
Autonomous light air vessels (ALAVs)
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...
Jed Berk, Nikhil Mitter
TPHOL
2000
IEEE
15 years 10 months ago
Equational Reasoning via Partial Reflection
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
IJRR
2002
137views more  IJRR 2002»
15 years 6 months ago
Acquisition of Elastic Models for Interactive Simulation
We present method and implementation to acquire deformable models of elastic objects. The method is based on the Green's functions matrix representation of an elastic solid. ...
Jochen Lang, Dinesh K. Pai, Robert J. Woodham
ISBI
2002
IEEE
16 years 7 months ago
Preliminary investigation of a multiple-image radiography method
Conventional radiography seeks to produce, at each location in the image plane, a measure of the x-ray absorption of the object. In this paper, we present a method of determining ...
Miles N. Wernick, Oliver Wirjadi, Dean Chapman, Or...
EMMCVPR
1999
Springer
15 years 11 months ago
Maximum Likelihood Inference of 3D Structure from Image Sequences
The paper presents a new approach to recovering the 3D rigid shape of rigid objects from a 2D image sequence. The method has two distinguishing features: it exploits the rigidity o...
Pedro M. Q. Aguiar, José M. F. Moura