Sciweavers

1303 search results - page 3 / 261
» A Type System for Observational Determinism
Sort
View
ROBOCUP
2005
Springer
91views Robotics» more  ROBOCUP 2005»
13 years 10 months ago
Gaze Direction Determination of Opponents and Teammates in Robot Soccer
Gaze direction determination of opponents and teammates is a very important ability for any soccer player, human or robot. However, this ability is still not developed in any of th...
Patricio Loncomilla, Javier Ruiz-del-Solar
CDC
2010
IEEE
106views Control Systems» more  CDC 2010»
13 years 9 days ago
Observational learning in an uncertain world
We study a model of observational learning in social networks in the presence of uncertainty about agents' type distributions. Each individual receives a private noisy signal ...
Daron Acemoglu, Munther A. Dahleh, Asuman E. Ozdag...
HYBRID
2009
Springer
14 years 3 days ago
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
Radu Grosu
ISCAS
2005
IEEE
115views Hardware» more  ISCAS 2005»
13 years 11 months ago
Observed hybrid oscillations in an electrical distribution system
Slow oscillations, with a period of around 15 minutes, were observed in an 11kV electrical distribution system. Investigations determined that the oscillations were a result of in...
Vaibhav Donde, Ian A. Hiskens
FORMATS
2007
Springer
13 years 9 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...