Sciweavers

274 search results - page 50 / 55
» Active capture: automatic direction for automatic movies
Sort
View
IASTEDSEA
2004
13 years 9 months ago
Higher-order strategic programming: A road to software assurance
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
Victor L. Winter, Steve Roach, Fares Fraij
DAGSTUHL
2003
13 years 9 months ago
Components, Features, and Agents in the ABC
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
Tiziana Margaria
SIAMIS
2008
292views more  SIAMIS 2008»
13 years 7 months ago
Topology Preserving Linear Filtering Applied to Medical Imaging
One of the central problems of medical imaging is the 3D visualization of body parts. The 3D volume can be viewed in slices, but the extraction of a part requires a segmentation p...
Antoni Buades, Aichi Chien, Jean-Michel Morel, Sta...
TIFS
2010
307views more  TIFS 2010»
13 years 6 months ago
Face matching and retrieval using soft biometrics
—Soft biometric traits embedded in a face (e.g., gender and facial marks) are ancillary information and are not fully distinctive by themselves in face-recognition tasks. However...
Unsang Park, Anil K. Jain
TOG
2012
232views Communications» more  TOG 2012»
11 years 10 months ago
Discovery of complex behaviors through contact-invariant optimization
We present a motion synthesis framework capable of producing a wide variety of important human behaviors that have rarely been studied, including getting up from the ground, crawl...
Igor Mordatch, Emanuel Todorov, Zoran Popovic