Sciweavers

4971 search results - page 52 / 995
» Observation systems
Sort
View
ACSD
2005
IEEE
71views Hardware» more  ACSD 2005»
14 years 1 months ago
Two-Phase Distributed Observation Problems
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...
Stavros Tripakis
TPHOL
2009
IEEE
14 years 2 months ago
Formalising Observer Theory for Environment-Sensitive Bisimulation
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
Jeremy E. Dawson, Alwen Tiu
ICIP
2010
IEEE
13 years 5 months ago
Distributed classification of multiple observations by consensus
We consider the problem of distributed classification of multiple observations of the same object that are collected in an ad-hoc network of vision sensors. Assuming that each sen...
Effrosini Kokiopoulou, Pascal Frossard
ICCS
2009
Springer
14 years 2 months ago
A Second Order Adjoint Method to Targeted Observations
The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional in...
Humberto C. Godinez, Dacian N. Daescu
APWEB
2004
Springer
14 years 1 months ago
User-Oriented Adaptive Web Information Retrieval Based on Implicit Observations
Web search engines help users find useful information on the WWW. However, when the same query is submitted by different users, typical search engines return the same result regar...
Kazunari Sugiyama, Kenji Hatano, Masatoshi Yoshika...