7988 search results - page 1374 / 1598 » A Useful Undecidable Theory |
247
click to vote
PEPM
2009
ACM
17 years 4 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
156
click to vote
CVPR
2000
IEEE
16 years 6 months ago
2000
IEEE
While several image-based rendering techniques have been proposed to successfully render scenes/objects from a large collection (e.g., thousands) of images without explicitly reco...
135
click to vote
ECCV
1998
Springer
16 years 6 months ago
1998
Springer
Diffuse interreflections mean that surface shading and shape are related in ways that are difficult to untangle; in particular, distant and invisible surfaces may affect the shadi...
238
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
Given a transportation network, a vulnerable population, and a set of destinations, evacuation route planning identifies routes to minimize the time to evacuate the vulnerable pop...
122
click to vote
GIS
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents a method for automatically converting raw GPS traces from everyday vehicles into a routable road network. The method begins by smoothing raw GPS traces using a...