1939 search results - page 212 / 388 » Dynamic Lex Constraints |
171
Voted
VIS
2008
IEEE
16 years 5 months ago
2008
IEEE
Abstract-- Methods that faithfully and robustly capture the geometry of complex material interfaces in labeled volume data are important for generating realistic and accurate visua...
118
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
141
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
144
Voted
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
Many algorithms have been proposed for the problem of time series classification. However, it is clear that one-nearest-neighbor with Dynamic Time Warping (DTW) distance is except...
237
Voted
CP
2009
Springer
16 years 5 months ago
2009
Springer
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...