1547 search results - page 166 / 310 » Randomized Variable Elimination |
109
click to vote
CSL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
109
click to vote
PKDD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Feature selection in reinforcement learning (RL), i.e. choosing basis functions such that useful approximations of the unkown value function can be obtained, is one of th...
101
click to vote
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
Realizing the full potential of a multi-radio mesh network involves two main challenges: how to assign channels to radios at each node to minimize interference and how to choose h...
104
click to vote
CLUSTER
2007
IEEE
15 years 7 months ago
2007
IEEE
— OpenMP can be supported in cluster environments by using distributed shared memory (DSM) systems. A portable approach for building DSM systems is to layer it on MPI. With these...
104
click to vote
PPPJ
2006
ACM
15 years 7 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...