1996 search results - page 98 / 400 » A decision procedure for linear |
266
click to vote
IGPL
2011
15 years 1 months ago
2011
This paper presents J-MADeM, a multi-modal decision making mechanism to provide agents in a Multi-Agent Systems (MAS) with a market-based model for complex decision problems. J-MA...
169
click to vote
MCS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Classifier decision fusion has been shown to act in a manner analogous to the back-projection of Radon transformations when individual classifier feature sets are non o...
137
click to vote
ENTCS
2010
15 years 6 months ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
138
click to vote
TCS
2008
15 years 6 months ago
2008
We consider a large class of sequences, called admissible sequences, which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumera...
159
click to vote
MOR
2007
15 years 5 months ago
2007
We consider the problem of solving a nonhomogeneous infinite horizon Markov Decision Process (MDP) problem in the general case of potentially multiple optimal first period polic...