Sciweavers

355 search results - page 63 / 71
» On Ramsey-type positional games
Sort
View
FORMATS
2008
Springer
13 years 9 months ago
Infinite Runs in Weighted Timed Automata with Energy Constraints
We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the...
Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand...
JSAC
2006
147views more  JSAC 2006»
13 years 7 months ago
Smart pay access control via incentive alignment
We use game theorectic models to show the lack of incentives in the TCP congestion avoidance algorithm and the consequential systemwide network problems. We then propose a Vickery-...
Jun Shu, Pravin Varaiya
FMSD
2007
97views more  FMSD 2007»
13 years 7 months ago
On the optimal reachability problem of weighted timed automata
We study the cost-optimal reachability problem for weighted timed automata such that positive and negative costs are allowed on edges and locations. By optimality, we mean an infi...
Patricia Bouyer, Thomas Brihaye, Véronique ...
SIAMJO
2008
104views more  SIAMJO 2008»
13 years 7 months ago
A Minimax Theorem with Applications to Machine Learning, Signal Processing, and Finance
This paper concerns a fractional function of the form xT a/ xT Bx, where B is positive definite. We consider the game of choosing x from a convex set, to maximize the function, an...
Seung-Jean Kim, Stephen P. Boyd
VR
2010
IEEE
151views Virtual Reality» more  VR 2010»
13 years 5 months ago
Astrojumper: Designing a virtual reality exergame to motivate children with autism to exercise
Children with autism show substantial benefits from rigorous physical activity, however it is often difficult to motivate these individuals to exercise due to their usually sede...
Samantha L. Finkelstein, Andrea Nickel, Tiffany Ba...