Sciweavers

4008 search results - page 335 / 802
» An expressive language of signatures
Sort
View
ICDE
2008
IEEE
168views Database» more  ICDE 2008»
16 years 8 months ago
On Supporting Kleene Closure over Event Streams
Complex event patterns involving Kleene closure are finding application in a variety of stream environments for tracking and monitoring purposes. In this paper, we propose a compac...
Daniel Gyllstrom, Jagrati Agrawal, Yanlei Diao, Ne...
ICPR
2002
IEEE
16 years 7 months ago
GraphGrep: A Fast and Universal Method for Querying Graphs
GraphGrep is an application-independent method for querying graphs, finding all the occurrences of a subgraph in a database of graphs. The interface to GraphGrep is a regular expr...
Rosalba Giugno, Dennis Shasha
WWW
2006
ACM
16 years 7 months ago
Position paper: a comparison of two modelling paradigms in the Semantic Web
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...
Peter F. Patel-Schneider, Ian Horrocks
SDM
2009
SIAM
130views Data Mining» more  SDM 2009»
16 years 4 months ago
Grammar Mining.
We introduce the problem of grammar mining, where patterns are context-free grammars, as a generalization of a large number of common pattern mining tasks, such as tree, sequence ...
Luc De Raedt, Siegfried Nijssen
175
Voted
TRUSTBUS
2009
Springer
16 years 1 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy