3808 search results - page 603 / 762 » Artificial Intelligence: A Modern Approach |
161
click to vote
TPHOL
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
166
click to vote
CP
2007
Springer
16 years 21 days ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
181
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
This paper reviews the development of an interactive evolutionary design system (IEDS) for conceptual design, which integrates an agent based ‘build and evolve’ approach with ...
133
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
165
click to vote
KI
2007
Springer
16 years 20 days ago
2007
Springer
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a person’s activities and signiï¬...