5232 search results - page 23 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
WCRE
1996
IEEE
13 years 11 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
FMCAD
1998
Springer
13 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
ECCV
2010
Springer
13 years 9 months ago
2010
Springer
Many visual search and matching systems represent images using sparse sets of "visual words": descriptors that have been quantized by assignment to the best-matching symb...
WSCG
2000
13 years 8 months ago
2000
To support 3D architectural modeling, geometric constraints are introduced. Explicit and implicit geometric relations between building elements can be expressed by the designer an...