6409 search results - page 1164 / 1282 » A Computational Algorithm for Origami Design |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
113
click to vote
AFRIGRAPH
2004
ACM
15 years 3 months ago
2004
ACM
We describe techniques for exploring 3D scenes by combining non-linear projections with the interactive data mining of camera navigations from previous explorations. Our approach ...
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
JCDL
2004
ACM
15 years 3 months ago
2004
ACM
With the growth of digital music, content-based music retrieval (CBMR) has attracted increasingly attention. For most CBMR systems, the task is to return music objects similar to ...
IPSN
2004
Springer
15 years 3 months ago
2004
Springer
Automatic self-calibration of ad-hoc sensor networks is a critical need for their use in military or civilian applications. In general, self-calibration involves the combination o...