Sciweavers

7047 search results - page 1070 / 1410
» Focusing on Binding and Computation
Sort
View
ICCAD
2000
IEEE
137views Hardware» more  ICCAD 2000»
15 years 11 months ago
Smart Simulation Using Collaborative Formal and Simulation Engines
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James ...
ICCAD
2000
IEEE
148views Hardware» more  ICCAD 2000»
15 years 11 months ago
FIR Filter Synthesis Algorithms for Minimizing the Delay and the Number of Adders
—As the complexity of digital filters is dominated by the number of multiplications, many works have focused on minimizing the complexity of multiplier blocks that compute the co...
Hyeong-Ju Kang, Hansoo Kim, In-Cheol Park
183
Voted
ICIP
2000
IEEE
15 years 11 months ago
Texture Similarity Measurement Using Kullback-Leibler Distance on Wavelet Subbands
The focus of this work is on using texture information for searching, browsing and retrieving images from a large database. In the wavelet approaches, texture is characterized by ...
Minh N. Do, Martin Vetterli
ICRA
2000
IEEE
88views Robotics» more  ICRA 2000»
15 years 11 months ago
Uncertainty Reduction Using Dynamics
For assembly tasks parts often have to be oriented before they can be put in an assembly. The results presented in this paper are a component of the automated design of parts orie...
Mark Moll, Michael Erdmann
190
Voted
INFOCOM
2000
IEEE
15 years 11 months ago
Networks with Advance Reservations: The Routing Perspective
— This paper provides an initial look at how support for advance reservations affects the complexity of the path selection process in networks. Advance reservations are likely to...
Roch Guérin, Ariel Orda
« Prev « First page 1070 / 1410 Last » Next »