3742 search results - page 736 / 749 » On the Use of Formal Techniques for Validation |
LREC
2008
15 years 3 months ago
2008
The development of natural language processing (NLP) components is resource-intensive and therefore justifies exploring ways of reducing development time and effort when building ...
104
click to vote
AAAI
2006
15 years 3 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
111
click to vote
BDA
2006
15 years 3 months ago
2006
XML data projection (or pruning) is one of the main optimization techniques recently adopted in the context of main-memory XML query-engines. The underlying idea is quite simple: ...
135
click to vote
SIGMETRICS
2010
ACM
15 years 2 months ago
2010
ACM
Sharing content over a mobile network through opportunistic contacts has recently received considerable attention. In proposed scenarios, users store content they download in a lo...
120
click to vote
SIGMOD
2010
ACM
15 years 2 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...