672 search results - page 88 / 135 » On the Expressive Power of the Loop Language |
162
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
169
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
Rule mining is an important data mining task that has been applied to numerous real-world applications. Often a rule mining system generates a large number of rules and only a sma...
161
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
We present the Lixto project, which is both a research project in database theory and a commercial enterprise that develops Web data extraction (wrapping) and Web service definiti...
142
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
160
click to vote
LATA
2009
Springer
16 years 26 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...