Sciweavers

4382 search results - page 444 / 877
» Query by Semantic Example
Sort
View
KR
2004
Springer
15 years 10 months ago
Inferential Complexity Control for Model-Based Abduction
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
Gregory M. Provan
VLDB
1999
ACM
101views Database» more  VLDB 1999»
15 years 9 months ago
Spatio-Temporal Retrieval with RasDaMan
Database support for multidimensional arrays is an area of growing importance; a variety of highvolume applications such as spatio-temporal data management and statistics/OLAP bec...
Peter Baumann, Andreas Dehmel, Paula Furtado, Rola...
WWCA
1998
Springer
15 years 9 months ago
Update Monitoring: The CQ Project
In rapidly growing open environments such as the Internet, users experience information starvation in the midst of data overload, due to di culties similar to nding the needle in a...
Calton Pu, Ling Liu
POPL
2000
ACM
15 years 8 months ago
Verifying Secrets and Relative Secrecy
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
Dennis M. Volpano, Geoffrey Smith
APN
2010
Springer
15 years 2 months ago
Learning Workflow Petri Nets
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
Javier Esparza, Martin Leucker, Maximilian Schlund