177 search results - page 3 / 36 » Is a Single Energy Functional Sufficient |
SLOGICA
2008
13 years 3 months ago
2008
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
DAC
2006
ACM
14 years 6 months ago
2006
ACM
Most existing dynamic voltage scaling (DVS) schemes for multiple tasks assume an energy cost function (energy consumption versus execution time) that is independent of the task ch...
HUMO
2007
Springer
13 years 9 months ago
2007
Springer
We propose a method to find candidate 2D articulated model configurations by searching for locally optimal configurations under a weak but computationally manageable fitness functi...
IJAHUC
2007
13 years 5 months ago
2007
: In wireless sensor networks, one of the main design challenges is to save severely constrained energy resources and obtain a long system lifetime. Low cost of sensors enables us ...
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
We examine a few elementary cases of forward contracting and a process by which capacity contracts with energy strike prices can lead to incentives for enhanced competition. To mo...