29152 search results - page 360 / 5831 » A Model of Computation for MapReduce |
195
click to vote
NMELP
1994
15 years 11 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
181
click to vote
ICTAI
1997
IEEE
15 years 10 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
171
click to vote
WSC
2007
15 years 9 months ago
2007
This paper presents the case that education in the 21st Century can only measure up to national needs if technologies developed in the simulation community, further enhanced by th...
174
click to vote
AAAI
2000
15 years 8 months ago
2000
We develop a normative theory of interaction-negotiation in particular--among self-interested computationally limited agents where computational actions are game-theoretically tre...
225
click to vote
VCIP
2000
15 years 8 months ago
2000
MIME (Mime Is Manual Expression) is a computationally efficient computer vision system for recognizing hand gestures. The system is intended to replace the mouse interface on a st...