1113 search results - page 46 / 223 » Counter Systems for Data Logics |
113
click to vote
ADBIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
142
Voted
IJCAI
2001
15 years 5 months ago
2001
Text mining concerns the discovery of knowledge from unstructured textual data. One important task is the discovery of rules that relate specific words and phrases. Although exist...
121
Voted
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
This paper shows a scheme for incremental evaluation of XPath queries. Here, we focus on a monotone fragment of XPath, i.e., when a data is deleted from (or inserted to) the datab...
127
Voted
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...
158
Voted
SLOGICA
2010
14 years 10 months ago
2010
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...