7167 search results - page 99 / 1434 » A Technique for Invariant Generation |
134
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Creativity techniques provide a variety of approaches for supporting an ideation process. These techniques can be executed using a Group Support System (GSS), thus allowing the id...
148
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper presents a new approach to image-based guidance of a needle or surgical tool during percutaneous procedures. The method is based on visual servoing. It requires no prio...
169
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we present a complete method to retrieve reliable correspondences among wide baseline images, that is images of the same scene/object acquired from very different vi...
107
click to vote
DATE
2008
IEEE
16 years 22 days ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
172
click to vote
ICASSP
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper presents a novel classification strategy for 3D objects. Our technique is based on using a Global Geodesic Function to intrinsically describe the surface ofan object. T...