Sciweavers

4835 search results - page 477 / 967
» Intelligent Selection Tools
Sort
View
HAIS
2008
Springer
15 years 8 months ago
Estimation Using Differential Evolution for Optimal Crop Plan
This paper presents an application of Differential Evolution (DE) to determine optimal crop plan for command area of Pamba-Achankovil-Vaippar (PAV) link project, so as to maximize ...
Millie Pant, Radha Thangaraj, Deepti Rani, Ajith A...
DIAGRAMS
2010
Springer
15 years 7 months ago
Heterogeneous Reasoning in Real Arithmetic
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
Matej Urbas, Mateja Jamnik
IAT
2008
IEEE
15 years 7 months ago
A Game-Theoretic Approach to Determining Efficient Patrolling Strategies for Mobile Robots
Use of game-theoretic models to address patrolling applications has gained increasing interest in the very last years. The patrolling agent is considered playing a game against an...
Francesco Amigoni, Nicola Gatti, Antonio Ippedico
IAT
2008
IEEE
15 years 7 months ago
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents Playing in CARTAGO Environments
In the context of cognitive agent programming frameworks, a main research effort accounts for exploiting goalorientation for specifying and enacting agent interaction. Existing re...
Michele Piunti, Alessandro Ricci, Lars Braubach, A...
AI
2010
Springer
15 years 7 months ago
Property persistence in the situation calculus
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
Ryan F. Kelly, Adrian R. Pearce