2976 search results - page 368 / 596 » On the bounded integer programming |
166
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
152
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...
160
click to vote
CIMCA
2008
IEEE
15 years 11 months ago
2008
IEEE
Research in reinforcement learning has produced algorithms for optimal decision making under uncertainty that fall within two main types. The first employs a Bayesian framework, ...
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Reflection remains a second-class citizen in current programming models, where it's assumed to be imperative and tightly bound to its implementation. In contrast, most object...
ISIPTA
1999
IEEE
15 years 8 months ago
1999
IEEE
Inferential problems that arise in the empirical analysis oftreatmentresponseinduceambiguityabouttheidentity of optimal treatment rules. This paper describes a research program th...