5863 search results - page 914 / 1173 » On Model-Checking of P Systems |
258
Voted
DILS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Success in the life sciences depends on access to information in knowledge bases and literature. Finding and extracting the relevant information depends on a user's ...
187
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 ...
176
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...
161
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...
172
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...