249 search results - page 5 / 50 » Experimental Study on Speed-Up Techniques for Timetable Info... |
ICLP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
ICDE
2007
IEEE
14 years 8 months ago
2007
IEEE
Content-based routing is the primary form of communication within publish/subscribe systems. In those systems data transmission is performed by sophisticated overlay networks of c...
KDD
2008
ACM
14 years 7 months ago
2008
ACM
Rapid growth in the amount of data available on social networking sites has made information retrieval increasingly challenging for users. In this paper, we propose a collaborativ...
DAWAK
2001
Springer
13 years 12 months ago
2001
Springer
The development of techniques for supporting incremental maintenance of materialized views has been an active research area for over twenty years. However, although there has been ...