799 search results - page 40 / 160 » Synthesis for Probabilistic Environments |
119
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a comparative evaluation of different distance metrics and local planners within the context of probabilistic roadmap methods for motion planning. Both C-space...
146
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
130
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
— Reducing the ever-growing leakage power is critical to power efficient designs. Leakage reduction techniques such as power-gating using sleep transistor insertion introduces la...
146
click to vote
DEBU
2006
15 years 4 months ago
2006
The wide deployment of wireless sensor and RFID (Radio Frequency IDentification) devices is one of the key enablers for next-generation pervasive computing applications, including...
147
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...