3446 search results - page 443 / 690 » A Reasoning Algorithm for pD* |
161
click to vote
APPROX
2009
Springer
16 years 17 days ago
2009
Springer
We explore the average-case “Vickrey” cost of structures in a random setting: the Vickrey cost of a shortest path in a complete graph or digraph with random edge weights; the V...
159
Voted
BTW
2009
Springer
16 years 17 days ago
2009
Springer
Abstract: Green computing or energy saving when processing information is primarily considered a task of processor development. We, however, advocate that a holistic approach is ne...
140
click to vote
CSL
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-...
130
click to vote
CSL
2009
Springer
16 years 16 days ago
2009
Springer
One of Courcelle’s celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO2) is fixed-parameter t...
163
click to vote
RTA
2009
Springer
16 years 15 days ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...