1019 search results - page 107 / 204 » Computer Aided Ferret Design |
133
click to vote
KDD
1995
ACM
15 years 5 months ago
1995
ACM
Discovering repetitive, interesting, and functional substructures in a structural database improves the ability to interpret and compress the data. However, scientists working wit...
112
click to vote
SI3D
1995
ACM
15 years 5 months ago
1995
ACM
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...
127
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
132
click to vote
LEGE
2003
15 years 2 months ago
2003
In the same way that the Web has evolved from being a technology designed to aid scientific collaboration to one which is employed extensively in e-business and increasingly in e-...
106
click to vote
SAC
2008
ACM
15 years 29 days ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...