524 search results - page 27 / 105 » Characterizing the Paralation Model using Dynamic Assignment |
DEXA
2000
Springer
13 years 12 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
TMI
2002
13 years 7 months ago
2002
The utility of optical tomography as a practical imaging modality has, thus far, been limited by its intrinsically low spatial resolution and quantitative accuracy. Recently, we ha...
LSMS
2007
Springer
14 years 1 months ago
2007
Springer
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Dynamic power management schemes (also called policies) can be used to control the power consumption levels of electronic systems, by setting their components in different states,...
MASCOTS
2003
13 years 9 months ago
2003
Increasingly, mobile computers use dynamic voltage scaling (DVS) to reduce CPU voltage and speed and thereby increase battery life. To determine how to change voltage and speed wh...