623 search results - page 82 / 125 » Relational Parametricity for Control Considered as a Computa... |
102
click to vote
HPCA
2001
IEEE
16 years 5 days ago
2001
IEEE
With the increasing clock rate and transistor count of today's microprocessors, power dissipation is becoming a critical component of system design complexity. Thermal and po...
TCOM
2010
14 years 10 months ago
2010
Abstract—In this letter, we propose an extension of the probabilistic tree pruning sphere decoding (PTP-SD) algorithm that provides further improvement of the computational compl...
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a novel method for computing a fourdimensional (4D) representation of the spatio-temporal visual hull of a dynamic scene, based on an extension of a recent provably cor...
120
click to vote
IJCAI
1997
15 years 1 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
116
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Increasing numbers of mobile computing devices, user-portable, or embedded in vehicles, cargo containers, or the physical space, need to be aware of their location in order to prov...