35 search results - page 7 / 7 » InvGen: An Efficient Invariant Generator |
CVPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Johnson and Hebert's spin-images have been applied to the registration of range images and object recognition with much success because they are rotation, scale, and pose inv...
UML
2005
Springer
13 years 11 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
ICFP
2008
ACM
14 years 6 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
VIS
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--In this paper we present a method for vortex core line extraction which operates directly on the smoothed particle hydrodynamics (SPH) representation and, by this, genera...
ICS
2010
Tsinghua U.
14 years 3 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...