886 search results - page 140 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
SRDS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...
264
click to vote
VR
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract Modeling tools typically have their own interaction methods for combining virtual objects. For realistic composition in 3D space, many researchers from the fields of virt...
130
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
Most state-of-the-art nonrigid shape recovery methods
usually use explicit deformable mesh models to regularize
surface deformation and constrain the search space. These
triangu...
121
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
— This paper addresses robust estimation of the uncalibrated visual-motor Jacobian for an image-based visual servoing (IBVS) system. The proposed method does not require knowledg...
GLVLSI
2005
IEEE
15 years 7 months ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...