Sciweavers

8697 search results - page 1524 / 1740
» An Approach to the Enterprise Integration
Sort
View
TCAD
2002
121views more  TCAD 2002»
13 years 10 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
TIT
2002
107views more  TIT 2002»
13 years 10 months ago
Wavelet deconvolution
Abstract--This paper studies the issue of optimal deconvolution density estimation using wavelets. The approach taken here can be considered as orthogonal series estimation in the ...
Jianqing Fan, Ja-Yong Koo
TOG
2002
160views more  TOG 2002»
13 years 10 months ago
Precomputed radiance transfer for real-time rendering in dynamic, low-frequency lighting environments
We present a new, real-time method for rendering diffuse and glossy objects in low-frequency lighting environments that captures soft shadows, interreflections, and caustics. As a...
Peter-Pike J. Sloan, Jan Kautz, John Snyder
TROB
2002
101views more  TROB 2002»
13 years 10 months ago
Two solutions to the adaptive visual servoing problem
In this paper, we present two globally convergent vision-based position controllers for a planar two-links manipulator in the so-called fixed-camera configuration, where the camera...
Alessandro Astolfi, Liu Hsu, Mariana S. Netto, Rom...
VLDB
2002
ACM
129views Database» more  VLDB 2002»
13 years 10 months ago
Optimizing View Queries in ROLEX to Support Navigable Result Trees
An increasing number of applications use XML data published from relational databases. For speed and convenience, such applications routinely cache this XML data locally and acces...
Philip Bohannon, Sumit Ganguly, Henry F. Korth, P....
« Prev « First page 1524 / 1740 Last » Next »