Sciweavers

6980 search results - page 1125 / 1396
» Music, Complexity, Information
Sort
View
172
Voted
EICS
2010
ACM
15 years 8 months ago
Xplain: an editor for building self-explanatory user interfaces by model-driven engineering
Modern User Interfaces (UI) must deal with the increasing complexity of applications in terms of functionality as well as new properties as plasticity. The plasticity of a UI deno...
Alfonso García Frey, Gaëlle Calvary, S...
175
Voted
ATAL
2008
Springer
15 years 8 months ago
Autonomous geocaching: navigation and goal finding in outdoor domains
This paper describes an autonomous robot system designed to solve the challenging task of geocaching. Geocaching involves locating a goal object in an outdoor environment given on...
James Neufeld, Michael Sokolsky, Jason Roberts, Ad...
ATAL
2008
Springer
15 years 8 months ago
Structure in threes: modelling organization-oriented software architectures built upon multi-agent systems
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
Matthias Wester-Ebbinghaus, Daniel Moldt
189
Voted
ATAL
2008
Springer
15 years 8 months ago
Teaching multi-robot coordination using demonstration of communication and state sharing
Solutions to complex tasks often require the cooperation of multiple robots, however, developing multi-robot policies can present many challenges. In this work, we introduce teach...
Sonia Chernova, Manuela M. Veloso
167
Voted
ATVA
2008
Springer
104views Hardware» more  ATVA 2008»
15 years 8 months ago
A Direct Algorithm for Multi-valued Bounded Model Checking
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
Jefferson O. Andrade, Yukiyoshi Kameyama
« Prev « First page 1125 / 1396 Last » Next »