214 search results - page 8 / 43 » On Turing machines, dynamical systems and the Atiyah problem |
ACTA
2010
13 years 7 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
WOSS
2004
ACM
14 years 25 days ago
2004
ACM
This paper proposes the RAFTING approach (Resourcebased Approach to FeaTure InteractioN) to address the feature interaction problem in the context of dynamically adapted software....
AI
2007
Springer
13 years 7 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
ACII
2007
Springer
14 years 1 months ago
2007
Springer
We analyze the antecedents of affective states in a simulation problem-solving environment, The Incredible Machine: Even More Contraptions, through quantitative field observations ...
LREC
2008
13 years 8 months ago
2008
Evaluating the output of NLG systems is notoriously difficult, and performing assessments of text quality even more so. A range of automated and subject-based approaches to the ev...