336 search results - page 27 / 68 » Monitoring modulo theories |
147
Voted
COLT
2003
Springer
15 years 8 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...
133
Voted
WOA
2003
15 years 4 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...
101
click to vote
JOCN
2010
15 years 1 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...
134
Voted
KBSE
2007
IEEE
15 years 9 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...
146
click to vote
ECAI
2010
Springer
15 years 4 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...