671 search results - page 35 / 135 » On Observing and Constraining Active Systems |
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 ...
114
Voted
BC
2004
15 years 12 days ago
2004
We show that complex visual tasks, such as position- and size-invariant shape recognition and navigation in the environment, can be tackled with simple architectures generated by a...
CASSIS
2004
Springer
15 years 6 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
125
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
JIRS
2007
15 years 13 days ago
2007
— Today, there are many opportunities to create vision-based intelligent systems that are human-centric. This is a very rich area because humans are very complex, and the number ...