5964 search results - page 1023 / 1193 » A theory of speculative computation |
187
click to vote
MOBICOM
2012
ACM
13 years 9 months ago
2012
ACM
GPS is one of the most widely used wireless systems. A GPS receiver has to lock on the satellite signals to calculate its position. The process of locking on the satellites is qui...
173
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we consider the problem of monitoring an art gallery modeled as a polygon, the edges of which are arcs of curves. We consider two types of guards: edge guards (these...
144
click to vote
SCHULE
2005
Springer
16 years 2 days ago
2005
Springer
: Informatik-Unterricht ist h¨aufig gepr¨agt durch ein Vermitteln von Theorie mit anschliessenden ¨Ubungen. Wichtige Aspekte wie etwa selbstst¨andiges Arbeiten, Kreativit¨at ...
204
click to vote
STOC
2012
ACM
13 years 9 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
171
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
In this paper we present a method for the integration of nonlinear holonomic constraints in deformable models and its application to the problems of shape and illuminant direction...