1350 search results - page 189 / 270 » Reasoning about Staged Computation |
ELPUB
2008
ACM
14 years 11 months ago
2008
ACM
Academics, having written their peer reviewed articles, may at some stage in the make their work Open Access (OA). They can do this by self-archiving an electronic version of thei...
127
click to vote
P2PKM
2004
14 years 11 months ago
2004
The ubiquitous computing vision is to make knowledge and services easily available in our everyday environments. A wide range of devices, applications and services can be intercon...
IGPL
2008
14 years 9 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
ICCV
2007
IEEE
15 years 12 months ago
2007
IEEE
While great strides have been made in detecting and localizing specific objects in natural images, the bottom-up segmentation of unknown, generic objects remains a difficult chall...
104
click to vote
ICCV
2007
IEEE
15 years 12 months ago
2007
IEEE
A key problem in widely distributed camera networks is geolocating the cameras. This paper considers three scenarios for camera localization: localizing a camera in an unknown env...