6978 search results - page 1125 / 1396 » On Proofs in System P |
188
click to vote
ECRTS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Energy and thermal considerations are increasingly driving system designers to adopt multi-core processors. In this paper, we consider the problem of scheduling periodic ...
179
click to vote
HCI
2009
15 years 4 months ago
2009
The aim of this work was to investigate arm gestures as an alternative input modality for wrist-worn watches. In particular we implemented a gesture recognition system and question...
166
click to vote
FIRSTMONDAY
2010
15 years 4 months ago
2010
Traditional "realistic" theories of social action, whether based on the individual gain heuristics of capitalism or the collective class struggles of communism, cannot e...
177
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We present an on-line crosslayer control technique to characterize and approximate optimal policies for wireless networks. Our approach combines network utility maximization and ad...
180
Voted
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider the classical finite-state discounted Markovian decision problem, and we introduce a new policy iteration-like algorithm for finding the optimal state costs or Q-facto...