3814 search results - page 544 / 763 » Extensible Information Brokers |
215
click to vote
RTA
1995
Springer
15 years 10 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
218
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
Text is a pervasive information type, and many applications require querying over text sources in addition to structured data. This paper studies the problem of query processing i...
201
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
204
click to vote
APSEC
2009
IEEE
15 years 10 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
184
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Suffix trees are indexing structures that enhance the performance of numerous string processing algorithms. In this paper, we propose cache-conscious suffix tree construction algo...