1170 search results - page 188 / 234 » How Fast Is Too Fast |
121
click to vote
CP
2010
Springer
15 years 1 months ago
2010
Springer
Given an arbitrary constraint c on n variables with domain size d, we show how to generate a custom propagator that establishes GAC in time O(nd) by precomputing the propagation th...
FOCM
2010
15 years 1 months ago
2010
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...
104
click to vote
FUIN
2010
15 years 1 months ago
2010
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...
147
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— Local image features are used for a wide range of applications in computer vision and range imaging. While there is a great variety of detector-descriptor combinations for imag...
133
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—A fundamental challenge of managing mutable data replication in a Peer-to-Peer (P2P) system is how to efficiently maintain consistency under various sharing patterns with heter...