1096 search results - page 156 / 220 » Partial Evaluation of Pointcuts |
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
105
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
To increase the achievable sum rate of downlink MIMO (Multiple Input Multiple Output) systems, the cooperation among Base Stations (BS) is investigated in a slow fading channel. Th...
107
click to vote
AI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Current point-based planning algorithms for solving partially observable Markov decision processes (POMDPs) have demonstrated that a good approximation of the value funct...
100
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...