7167 search results - page 346 / 1434 » A Technique for Invariant Generation |
200
click to vote
NPAR
2000
ACM
15 years 12 months ago
2000
ACM
While many factors contribute to shape perception, psychological research indicates that the direction of lines on the surface may have an important influence. This is especially ...
252
click to vote
ECIR
1998
Springer
15 years 9 months ago
1998
Springer
A new system, RAIDER (Retrieval and Annotation of Image Databases), has been developed for the management of image databases. RAIDER was designed to combat the inadequacies and in...
208
click to vote
FORTE
1997
15 years 9 months ago
1997
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
180
click to vote
CGF
2002
15 years 7 months ago
2002
Parameterization of discrete surfaces is a fundamental and widely-used operation in graphics, required, for instance, for texture mapping or remeshing. As 3D data becomes more and...
191
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...