Sciweavers

1829 search results - page 175 / 366
» Towards Validation of Requirements Models
Sort
View
ICCV
2003
IEEE
16 years 8 months ago
Stochastic Refinement of the Visual Hull to Satisfy Photometric and Silhouette Consistency Constraints
An iterative method for reconstructing a 3D polygonal mesh and color texture map from multiple views of an object is presented. In each iteration, the method first estimates a tex...
John Isidoro, Stan Sclaroff
ISBI
2004
IEEE
16 years 7 months ago
Speckle Reduction on Ultrasound Image by Variational Methods and Adaptive Lagrangian Multipliers
Ultrasound images are corrupted by a multiplicative noise, the speckle, which makes high level analysis difficult. Within each resolution cell a number of elementary scatterers re...
Arnaud Ogier, Pierre Hellier, Christian Barillot
ICSEA
2007
IEEE
16 years 25 days ago
A Novel Framework for Test Domain Reduction using Extended Finite State Machine
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
Nutchakorn Ngamsaowaros, Peraphon Sophatsathit
IROS
2006
IEEE
152views Robotics» more  IROS 2006»
16 years 17 days ago
Locomotion Imitation of Humanoid Using Goal-directed Self-adjusting Adaptor
- We propose a novel framework for imitation learning that helps a humanoid robot achieve its goal of learning. There are apparent discrepancies in shapes and sizes among humans an...
Woosung Yang, Nak Young Chong, ChangHwan Kim, Bum-...
SRDS
2006
IEEE
16 years 16 days ago
Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems
We consider the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orph...
Edward Curley, Jonathan Stephen Anderson, Binoy Ra...