3779 search results - page 671 / 756 » Linear Consistency Testing |
112
click to vote
NIPS
1996
15 years 4 months ago
1996
A general feature of the cerebral cortex is its massive interconnectivity-ithas been estimatedanatomically 15 that cortical neurons receive on the order of 10,000 synapses, the ma...
131
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
139
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
128
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
In backbone networks, the line cards that drive the links between neighboring routers consume a large amount of energy. Since these networks are typically overprovisioned, selecti...
191
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...