5499 search results - page 319 / 1100 » Generalized Rewrite Theories |
220
click to vote
GROUP
2003
ACM
16 years 21 days ago
2003
ACM
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...
177
click to vote
SIGUCCS
2003
ACM
16 years 21 days ago
2003
ACM
St. Edward’s University has developed a web-based Computer Competency Program ensuring one standard of competency for a diverse student population. Over the past decade faculty ...
205
click to vote
ATAL
2003
Springer
16 years 21 days ago
2003
Springer
The problem investigated in this paper is the distribution of goals addressed to a group of rational agents. Those agents are characterized by their ability (i.e. what they can do...
226
click to vote
COMPGEOM
2010
ACM
16 years 16 days ago
2010
ACM
A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show that it is NP-hard to compute the crossing number of near-planar graphs. The main idea ...
222
Voted
LICS
2002
IEEE
16 years 11 days ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...