13591 search results - page 2461 / 2719 » On the Implementation of Dynamic Evaluation |
239
click to vote
AAAI
2008
15 years 7 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
178
click to vote
AIME
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The paper proposes a learning approach to support medical researchers in the context of in-vivo cancer imaging, and specifically in the analysis of Dynamic Contrast-Enhan...
174
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In large wireless sensor networks, the problem of assigning radio frequencies to sensing agents such that no two connected sensors are assigned the same value (and will thus inter...
173
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--Multi-core processors with accelerators are becoming commodity components for high-performance computing at scale. While accelerator-based processors have been studied in...
177
click to vote
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Many high-performance communicating systems are designed using the event-driven paradigm. As multicore platforms are now pervasive, it becomes crucial for such systems to take adva...