9730 search results - page 161 / 1946 » Relating models of backtracking |
139
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
We consider a model in which background knowledge on a given domain of interest is available in terms of a Bayesian network, in addition to a large database. The mining problem is...
184
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
175
click to vote
KBSE
2008
IEEE
16 years 24 days ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
168
click to vote
CRYPTO
2005
Springer
15 years 12 months ago
2005
Springer
We identify and fill some gaps with regard to consistency (the extent to which false positives are produced) for public-key encryption with keyword search (PEKS), providing new de...
172
click to vote
DIS
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, the semantic relationships between a predicate and its arguments in terms of semantic roles are employed to improve lexical-based named entity recognition (NER) in t...