336 search results - page 27 / 68 » Monitoring modulo theories |
COLT
2003
Springer
14 years 3 months ago
2003
Springer
We study on-line play of repeated matrix games in which the observations of past actions of the other player and the obtained reward are partial and stochastic. We define the Part...
WOA
2003
13 years 11 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
JOCN
2010
13 years 8 months ago
2010
■ How cognitive control is recruited and implemented has become a major focus of researchers in cognitive psychology and neuroscience. Current theories posit that cognitive cont...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Learning in the context of constraint solving is a technique by which previously unknown constraints are uncovered during search and used to speed up subsequent search. R...