1039 search results - page 139 / 208 » Query reformulation with constraints |
150
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
160
click to vote
AAI
2007
15 years 4 months ago
2007
In recent years, the KDD process has been advocated to be an iterative and interactive process. It is seldom the case that a user is able to answer immediately with a single query...
165
Voted
JCB
2007
15 years 4 months ago
2007
The discovery of non-coding RNA (ncRNA) motifs and their role in regulating gene expression has recently attracted considerable attention. The goal is to discover these motifs in ...
159
click to vote
COMAD
2008
15 years 6 months ago
2008
Although many algorithms have been proposed for evaluating XPath queries containing un-ordered axes (child, descendant, parent and ancestor) against streaming XML data, there are ...
164
click to vote
DBSEC
2009
15 years 5 months ago
2009
There is an increasing need for sharing data repositories containing personal information across multiple distributed and private databases. However, such data sharing is subject t...