Sciweavers

12981 search results - page 2406 / 2597
» Artificial Intelligence
Sort
View
SIGCSE
2004
ACM
132views Education» more  SIGCSE 2004»
15 years 12 months ago
Using game days to teach a multiagent system class
Multiagent systems is an attractive problem solving approach that is becoming ever more feasible and popular in today’s world. It combines artificial intelligence (AI) and distr...
Leen-Kiat Soh
ACRI
2004
Springer
15 years 12 months ago
Reconstructing Forest Savanna Dynamics in Africa Using a Cellular Automata Model, FORSAT
Large areas of savannas are found in Africa in climatic zones favourable to humid tropical forests: they are relicts of past dry periods and forest domains are naturally expanding....
Charly Favier, Marc A. Dubois
AIMSA
2004
Springer
15 years 12 months ago
Capturing Semantics Towards Automatic Coordination of Domain Ontologies
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
Konstantinos Kotis, George A. Vouros, Kostas Sterg...
CP
2004
Springer
15 years 12 months ago
Leveraging the Learning Power of Examples in Automated Constraint Acquisition
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
Christian Bessière, Remi Coletta, Eugene C....
CP
2004
Springer
15 years 12 months ago
Constraint Propagation as a Proof System
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
Albert Atserias, Phokion G. Kolaitis, Moshe Y. Var...
« Prev « First page 2406 / 2597 Last » Next »