Sciweavers

3787 search results - page 496 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
JAIR
2000
96views more  JAIR 2000»
15 years 6 months ago
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
Rune M. Jensen, Manuela M. Veloso
105
Voted
ATAL
2004
Springer
16 years 1 days ago
A Case Study of Organizational Effects in a Distributed Sensor Network
We describe how a system employing different types of organizational techniques addresses the challenges posed by a large-scale distributed sensor network environment. The high-le...
Bryan Horling, Roger Mailler, Victor R. Lesser
GECCO
2006
Springer
165views Optimization» more  GECCO 2006»
15 years 10 months ago
Evolving musical performance profiles using genetic algorithms with structural fitness
This paper presents a system that uses Genetic Algorithm (GA) to evolve hierarchical pulse sets (i.e., hierarchical duration vs. amplitude matrices) for expressive music performan...
Qijun Zhang, Eduardo Reck Miranda
AAAI
2004
15 years 8 months ago
Making Argumentation More Believable
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting ar...
Anthony Hunter
ATAL
2005
Springer
16 years 3 days ago
Discovering strategic multi-agent behavior in a robotic soccer domain
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
Andraz Bezek