4418 search results - page 248 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
212
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
175
click to vote
SIGIR
2004
ACM
16 years 23 hour ago
2004
ACM
Although information retrieval research has always been concerned with improving the effectiveness of search, in some applications, such as information analysis, a more specific ...
167
click to vote
DGO
2010
15 years 8 months ago
2010
We address the problem of publishing parliamentary proceedings in a digital sustainable manner. We give an extensive requirements analysis, and based on that propose a uniform XML...
151
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
181
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Information extraction systems are increasingly being used to mine structured information from unstructured text documents. A commonly used unsupervised technique is to build iter...