6608 search results - page 1108 / 1322 » On the Completeness of Model Checking |
231
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
Abstract-- Most current information extraction (IE) approaches have considered only static text corpora, over which we typically have to apply IE only once. Many real-world text co...
133
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
The "algorithmic small-world hypothesis" states that not only are pairs of individuals in a large social network connected by short paths, but that ordinary individuals ...
138
click to vote
KDD
2002
ACM
16 years 5 months ago
2002
ACM
When automatically extracting information from the world wide web, most established methods focus on spotting single HTMLdocuments. However, the problem of spotting complete web s...
267
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
154
click to vote
RECOMB
2003
Springer
16 years 5 months ago
2003
Springer
Recent research has demonstrated quite convincingly that accurate cancer diagnosis can be achieved by constructing classifiers that are designed to compare the gene expression pro...