2830 search results - page 308 / 566 » No Science without Semantics |
132
Voted
TPLP
2002
15 years 3 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
161
click to vote
ICLP
2010
Springer
15 years 2 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
122
click to vote
SIGMETRICS
2010
ACM
15 years 2 months ago
2010
ACM
Dynamic voltage and frequency scaling (DVFS) is a wellknown technique for gaining energy savings on desktop and laptop computers. However, its use in server settings requires care...
110
Voted
SIGOPS
2010
15 years 2 months ago
2010
A computer system often has multiple power management modules controlling different power knobs. Uncoordinated operation of these knobs not only leads to suboptimal operation but ...
160
click to vote
ICEIS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...