Sciweavers

9485 search results - page 243 / 1897
» Research on Brain-Like Computer
Sort
View
APAL
1998
71views more  APAL 1998»
15 years 5 months ago
Splitting Theorems and the Jump Operator
We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerab...
Rodney G. Downey, Richard A. Shore
JSS
1998
90views more  JSS 1998»
15 years 5 months ago
A taxonomy of distributed termination detection algorithms
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult p...
Jeff Matocha, Tracy Camp
GC
2010
Springer
15 years 4 months ago
20 Years of Negami's Planar Cover Conjecture
In 1988, Seiya Negami published a conjecture stating that a graph G has a finite planar cover (i.e. a homomorphism from some planar graph onto G which maps the vertex neighbourhoo...
Petr Hlinený
PRICAI
2010
Springer
15 years 4 months ago
Towards Artificial Systems: What Can We Learn from Human Perception?
Research in learning algorithms and sensor hardware has led to rapid advances in artificial systems over the past decade. However, their performance continues to fall short of the ...
Heinrich H. Bülthoff, Lewis L. Chuang
ACL
2010
15 years 3 months ago
"Ask Not What Textual Entailment Can Do for You..."
We challenge the NLP community to participate in a large-scale, distributed effort to design and build resources for developing and evaluating solutions to new and existing NLP ta...
Mark Sammons, V. G. Vinod Vydiswaran, Dan Roth