Sciweavers

4708 search results - page 524 / 942
» Generating the Structure of Argument
Sort
View
DGCI
2000
Springer
15 years 11 months ago
Deformable Modeling for Characterizing Biomedical Shape Changes
Abstract. We present a new algorithm for modeling and characterizing shape changes in 3D image sequences of biomedical structures. Our algorithm tracks the shape changes of the obj...
Matthieu Ferrant, Benoit M. Macq, Arya Nabavi, Sim...
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
15 years 11 months ago
Algorithms for Solving Boolean Satisfiability in Combinational Circuits
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
Luís Guerra e Silva, Luis Miguel Silveira, ...
EUROMICRO
1999
IEEE
15 years 11 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
ICRA
1999
IEEE
110views Robotics» more  ICRA 1999»
15 years 11 months ago
Range-Sensor Based Navigation in Three Dimensions
This paper presents a new globally convergent rangesensor based navigation algorithm in three-dimensions, called 3DBug. The 3DBug algorithm navigates a point robot in a three-dime...
Ishay Kamon, Ehud Rivlin, Elon Rimon
VR
1999
IEEE
189views Virtual Reality» more  VR 1999»
15 years 11 months ago
Cloning and Aging in a VR Family
Face cloning and animation considering wrinkle formation and aging are an aspiring goal and a challenging task. This paper describes a cloning method and an aging simulation in a ...
Won-Sook Lee, Yin Wu, Nadia Magnenat-Thalmann