1634 search results - page 21 / 327 » Reasoning about Knowledge Using Rough Sets |
175
click to vote
QEST
2010
IEEE
15 years 28 days ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
101
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this video, we demonstrate the effectiveness of a kinodynamic planning strategy that allows a high-impedance quadruped to operate across a variety of rough terrain. At one e...
110
click to vote
CSL
2007
Springer
15 years 9 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
123
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
146
click to vote
TASE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...