9405 search results - page 1107 / 1881 » Computing a Model of Set Theory |
188
click to vote
CVPR
2010
IEEE
16 years 4 months ago
2010
IEEE
We present a passive computer vision method that exploits existing mapping and navigation databases in order to automatically create 3D building models. Our method defines a gramm...
239
click to vote
COORDINATION
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
209
click to vote
STOC
2009
ACM
16 years 8 months ago
2009
ACM
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...
234
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
210
click to vote
IPSN
2004
Springer
16 years 27 days ago
2004
Springer
We study network capacity limits and optimal routing algorithms for regular sensor networks, namely, square and torus grid sensor networks, in both, the static case (no node failu...