2082 search results - page 255 / 417 » Change Paths in Reasoning! |
170
click to vote
TCAD
2010
14 years 11 months ago
2010
Global routing for modern large-scale circuit designs has attracted much attention in the recent literature. Most of the state-of-the-art academic global routers just work on a sim...
140
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Recognizing and localizing specular (or mirror-like) surfaces from a single image is a great challenge to computer vision. Unlike other materials, the appearance of a specular sur...
159
Voted
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
A new model for the multiscale characterization of turbulence and chaotic information in digital images is presented. The model is applied to infrared satellite images for the det...
256
Voted
GIS
2005
ACM
16 years 5 months ago
2005
ACM
The R*-tree, as a state-of-the-art spatial index, has already found its way into commercial systems like Oracle. In this paper, we aim at improving query performance of the R*tree...
122
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...