Sciweavers

13099 search results - page 2201 / 2620
» Cooperative method development
Sort
View
196
Voted
ACMACE
2009
ACM
15 years 8 months ago
Music alphabet for low-resolution touch displays
In this paper we present a novel approach to writing music on handheld pen-based devices which has been developed during the implementation of MusicMan, our pen-based music score ...
Ondrej Polácek, Adam J. Sporka, Pavel Slav&...
AIPS
2009
15 years 8 months ago
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners
Finite-state and memoryless controllers are simple action selection mechanisms widely used in domains such as videogames and mobile robotics. Memoryless controllers stand for func...
Blai Bonet, Héctor Palacios, Hector Geffner
ATAL
2010
Springer
15 years 8 months ago
Finding approximate competitive equilibria: efficient and fair course allocation
In the course allocation problem, a university administrator seeks to efficiently and fairly allocate schedules of over-demanded courses to students with heterogeneous preferences...
Abraham Othman, Tuomas Sandholm, Eric Budish
162
Voted
ATAL
2010
Springer
15 years 8 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
ATAL
2010
Springer
15 years 8 months ago
A logical framework for prioritized goal change
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
Shakil M. Khan, Yves Lespérance
« Prev « First page 2201 / 2620 Last » Next »