1124 search results - page 61 / 225 » Generalized Conditioning in Neighbourhood Models |
AAAI
2000
13 years 9 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
ACSD
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
ISER
2004
Springer
14 years 1 months ago
2004
Springer
We have been trying to induce a quadruped robot to walk with medium walking speed on irregular terrain based on biological concepts. We propose the essential conditions for stable ...
HYBRID
2010
Springer
13 years 9 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
DC
2010
13 years 7 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...