2819 search results - page 427 / 564 » Automatic Structures |
195
click to vote
BPM
2007
Springer
16 years 17 days ago
2007
Springer
Process mining techniques attempt to extract non-trivial and useful information from event logs recorded by information systems. For example, there are many process mining techniqu...
140
click to vote
CCS
2007
ACM
16 years 17 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
156
click to vote
CIKM
2007
Springer
16 years 17 days ago
2007
Springer
This paper describes Koru, a new search interface that offers effective domain-independent knowledge-based information retrieval. Koru exhibits an understanding of the topics of b...
132
click to vote
CP
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
143
click to vote
ER
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we study the problem of schema exchange, a natural extension of the data exchange problem to an intensional level. To this end, we first introduce the notion of sche...