Sciweavers

1993 search results - page 236 / 399
» On Action Theory Change
Sort
View
TSP
2008
147views more  TSP 2008»
15 years 6 months ago
Decentralized Activation in Dense Sensor Networks via Global Games
Decentralized activation in wireless sensor networks is investigated for energy-efficient monitoring using the theory of global games. Given a large number of sensors which can ope...
V. Krishnamurthy
CORR
2002
Springer
101views Education» more  CORR 2002»
15 years 6 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
IJCV
2000
176views more  IJCV 2000»
15 years 6 months ago
Control of a Camera for Active Vision: Foveal Vision, Smooth Tracking and Saccade
Several characteristics of the human oculomotor system have been suggested to be useful also for active vision mechanisms. Among others, foveal vision and a tracking scheme based o...
Ehud Rivlin, Héctor Rotstein
PAMI
2002
124views more  PAMI 2002»
15 years 6 months ago
Information Theoretic Sensor Data Selection for Active Object Recognition and State Estimation
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...
Joachim Denzler, Christopher M. Brown
IANDC
2010
68views more  IANDC 2010»
15 years 5 months ago
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
Antonín Kucera, Richard Mayr