13603 search results - page 2710 / 2721 » On the Computational Complexity of Cut-Reduction |
ATAL
2003
Springer
14 years 18 days ago
2003
Springer
Despite the success of the BDI approach to agent teamwork, initial role allocation (i.e. deciding which agents to allocate to key roles in the team) and role reallocation upon fai...
ATAL
2003
Springer
14 years 18 days ago
2003
Springer
Among humans, teaching various tasks is a complex process which relies on multiple means for interaction and learning, both on the part of the teacher and of the learner. Used tog...
AWIC
2003
Springer
14 years 18 days ago
2003
Springer
Abstract Search engines, with Google at the top, have many remarkable capabilities. But what is not among them is the deduction capability—the capability to synthesize an answer ...
CAISE
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
DSVIS
2003
Springer
14 years 18 days ago
2003
Springer
CAD systems have yet to become usable at the early stages of product ideation, where precise shape definitions and sometimes even design intentions are not fully developed. To over...