2016 search results - page 23 / 404 » Some observations on HC-128 |
JAIR
2011
13 years 4 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract -- Shortest path routing protocols may suffer from congestion due to the use of a single shortest path between a source and a destination. The goal of our work is to first...
WSC
2001
13 years 11 months ago
2001
This tutorial discusses some statistical procedures for selecting the best of a number of competing systems. The term "best" may refer to that simulated system having, s...
HYBRID
2010
Springer
14 years 4 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
VTS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper focuses on observability, one of the open issues in High-Level test generation. Three different approximate metrics for taking observability into account during RT-leve...