1738 search results - page 159 / 348 » Local Consistency and SAT-Solvers |
ICANN
2003
Springer
14 years 3 months ago
2003
Springer
We have proposed that the basal ganglia act as the central switching mechanism for the action selection system of the vertebrate brain. Simulation of our functional model of basal ...
ISAAC
2003
Springer
14 years 3 months ago
2003
Springer
The mixing properties of several Markov chains to sample from configurations of a hard-core model have been examined. The model is familiar in the statistical physics of the liqui...
INFOCOM
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract-- We propose a framework for decentralized path selection and on-demand wavelength channel provisioning in WDM networks with routing constraints. Within this framework, th...
ISCA
2002
IEEE
14 years 3 months ago
2002
IEEE
An instruction set architecture (ISA) suitable for future microprocessor design constraints is proposed. The ISA has hierarchical register files with a small number of accumulator...
MM
2009
ACM
14 years 3 months ago
2009
ACM
The explosive growth of multimedia data poses serious challenges to data storage, management and search. Efficient near-duplicate detection is one of the required technologies for...