219 search results - page 27 / 44 » Intensional Query Answering: An Application of Partial Evalu... |
128
click to vote
AAAI
2008
15 years 27 days 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 ...
97
Voted
CGI
1998
IEEE
15 years 4 months ago
1998
IEEE
Ray tracing and Monte-Carlo based global illumination, as well as radiosity and other finite-element based global illumination methods, all require repeated evaluation of quantita...
124
click to vote
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
182
click to vote
GIS
2007
ACM
16 years 25 days ago
2007
ACM
The increasingly popular GPS technology and the growing amount of trajectory data it generates create the need for developing applications that efficiently store and query traject...
ADBIS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Caching data reduces user-perceived latency and often enhances availability in case of server crashes or network failures. DB caching aims at local processing of declarat...