7557 search results - page 1487 / 1512 » Modeling Timed Concurrent Systems |
115
click to vote
NAR
2010
14 years 6 months ago
2010
WormBase (http://www.wormbase.org) is a central data repository for nematode biology. Initially created as a service to the Caenorhabditis elegans research field, WormBase has evo...
122
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
We present a system for fast model-based segmentation and 3D pose
estimation of specular objects using appearance based specular
features. We use observed (a) specular reflection...
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
We present a novel method for inferring three-dimensional shape from a collection of defocused images. It is based on the observation that defocused images are the null-space of ce...
180
click to vote
GIS
2005
ACM
16 years 25 days ago
2005
ACM
The management of moving objects has been intensively studied in the recent years. A wide and increasing range of database applications has to deal with spatial objects whose posi...
201
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...