Sciweavers

4355 search results - page 450 / 871
» From Interpretation to Compilation
Sort
View
DALT
2007
Springer
16 years 1 months ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck
ECAL
2007
Springer
16 years 1 months ago
Symbiosis, Synergy and Modularity: Introducing the Reciprocal Synergy Symbiosis Algorithm
Symbiosis, the collaboration of multiple organisms from different species, is common in nature. A related phenomenon, symbiogenesis, the creation of new species through the genetic...
Rob Mills, Richard A. Watson
EUROITV
2007
Springer
16 years 1 months ago
Focusing on Elderly: An iTV Usability Evaluation Study with Eye-Tracking
Elderly people often experience difficulties using interactive TV. This paper presents the findings of a usability evaluation study in combination with eye-tracking conducted for a...
Marianna Obrist, Regina Bernhaupt, Elke Beck, Manf...
GECCO
2007
Springer
185views Optimization» more  GECCO 2007»
16 years 1 months ago
Enhanced forma analysis of permutation problems
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
Tao Gong, Andrew Tuson
GI
2007
Springer
16 years 1 months ago
Test Automation Meets Static Analysis
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
Jan Peleska, Helge Löding, Tatiana Kotas