31387 search results - page 6127 / 6278 » Abstracts |
139
Voted
JAR
1998
15 years 3 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
118
Voted
JASIS
1998
15 years 3 months ago
1998
This article develops a theoretical framework of distributed representations to explore the representational properties in group problem solving. The basic principle of distribute...
162
click to vote
DC
1999
15 years 3 months ago
1999
or fault-tolerant asynchronous systems. It abstracts a family of problems known as Agreement (or Coordination) problems. Any solution to consensus can serve as a basic building blo...
115
click to vote
JCNS
1998
15 years 3 months ago
1998
Abstract. We study some mechanisms responsible for synchronous oscillations and loss of synchrony at physiologically relevant frequencies 10-200 Hz in a network of heterogeneous ...
107
Voted
DM
1999
15 years 3 months ago
1999
Abstract. Given a partially ordered set P = (X; P ), a function F which assigns to each x 2 X a set F (x) so that x y in P if and only if F (x) F (y) is called an inclusion represe...