451 search results - page 74 / 91 » Temporal Classes and OWL |
82
Voted
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
A new quality metric, called area, is introduced for schedules that execute dags, i.e., computations having intertask dependencies. Motivated by the temporal unpredictability enco...
102
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
91
Voted
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
Practical sparse approximation algorithms (particularly greedy algorithms) suffer two significant drawbacks: they are difficult to implement in hardware, and they are inefficie...
130
click to vote
SECON
2007
IEEE
15 years 6 months ago
2007
IEEE
—Increasingly many wireless sensor network deployments are using harvested environmental energy to extend system lifetime. Because the temporal profiles of such energy sources e...
122
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...