2015 search results - page 65 / 403 » Some Observations on Indifferentiability |
104
Voted
TARK
1998
Springer
15 years 4 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
81
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
78
Voted
IJCAI
2007
15 years 2 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
103
click to vote
MVA
1990
15 years 1 months ago
1990
This paper describes work done as part of the Oxford AGV (Autonomous Guided Vehicle) project [2] towards recognition of classes of objects to be encountered in a factory environme...
65
Voted
ADVCS
2004
15 years 17 days ago
2004
We discuss the role of scale dependence of entropy/complexity and its relationship to component interdependence. The complexity as a function of scale of observation is expressed ...