Sciweavers

1370 search results - page 16 / 274
» On the Consistent Observation of Active Systems
Sort
View
ATAL
2005
Springer
15 years 5 months ago
Tunably decentralized algorithms for cooperative target observation
Multi-agent problem domains may require distributed algorithms for a variety of reasons: local sensors, limitations of communication, and availability of distributed computational...
Sean Luke, Keith Sullivan, Liviu Panait, Gabriel C...
JNCA
1998
108views more  JNCA 1998»
14 years 11 months ago
User interface for video observation over the internet
We present the design and application of a system for live video transmission and remote camera control over the World Wide Web. Extensive testing of the Internet Video Server IV...
Bor Prihavec, Franc Solina
JDCTA
2010
161views more  JDCTA 2010»
14 years 6 months ago
A Globally Consistent Solution to Multiview Image Registration
Multiview image registration is to compute the globally consistent transformations of a sequence of images. Due to various uncertainties, multiview image registration is considere...
Zezhong Xu
ASM
2004
ASM
15 years 5 months ago
Observations on the Decidability of Transitions
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
Yuri Gurevich, Rostislav Yavorskiy
ACSD
2007
IEEE
102views Hardware» more  ACSD 2007»
15 years 6 months ago
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in...
Franck Cassez, Stavros Tripakis, Karine Altisen