624 search results - page 7 / 125 » Physical constraints on hypercomputation |
174
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
There has been considerable work on automated physical design tuning for database systems. Existing solutions require offline invocations of the tuning tool and depend on DBAs ide...
ICPR
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents a physical model-based method for recovering and tracking nonrigid motion of elastic objects. The proposed method recovers the motion in terms of actual physic...
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
— We study the problem of decentralized sequential change detection with conditionally independent observations. The sensors form a star topology with a central node called fusio...
101
click to vote
KDD
2012
ACM
13 years 1 days ago
2012
ACM
This paper introduces a novel image decomposition approach for an ensemble of correlated images, using low-rank and sparsity constraints. Each image is decomposed as a combination...