Sciweavers

4041 search results - page 125 / 809
» time 2009
Sort
View
ALDT
2009
Springer
110views Algorithms» more  ALDT 2009»
16 years 1 months ago
Manipulating Tournaments in Cup and Round Robin Competitions
In sports competitions, teams can manipulate the result by, for instance, throwing games. We show that we can decide how to manipulate round robin and cup competitions, two of the ...
Tyrel Russell, Toby Walsh
FCT
2009
Springer
16 years 1 months ago
Equivalence of Deterministic Nested Word to Word Transducers
We study the equivalence problem of deterministic nested word to word transducers and show it to be suprisingly robust. Modulo polynomal time reductions, it can be identified with...
Slawomir Staworko, Grégoire Laurence, Aur&e...
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 4 months ago
Homogeneity in the bi-limit as a tool for observer and feedback design
Abstract-- We introduce an extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this e...
Vincent Andrieu, Laurent Praly, Alessandro Astolfi
SAC
2009
ACM
16 years 1 months ago
Lightweight monitoring of sensor software
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...
Mustafa Hammad, Jonathan Cook
CIE
2009
Springer
16 years 1 months ago
Ordinal Computability
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...
Peter Koepke