Sciweavers

23413 search results - page 4507 / 4683
» or 2005
Sort
View
LOPSTR
2005
Springer
16 years 20 days ago
Declarative Programming with Function Patterns
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
Sergio Antoy, Michael Hanus
LPAR
2005
Springer
16 years 20 days ago
The Four Sons of Penrose
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
Nachum Dershowitz
MABS
2005
Springer
16 years 20 days ago
Visual Modeling for Complex Agent-Based Simulation Systems
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
Candelaria Sansores, Juan Pavón, Jorge J. G...
MABS
2005
Springer
16 years 20 days ago
Automatic Tuning of Agent-Based Models Using Genetic Algorithms
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...
Benoît Calvez, Guillaume Hutzler
MATES
2005
Springer
16 years 20 days ago
Collaborative Agent-Based Knowledge Support for Empirical and Knowledge-Intense Processes
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...
Andrea Freßmann, Kerstin Maximini, Rainer Ma...
« Prev « First page 4507 / 4683 Last » Next »