2424 search results - page 423 / 485 » A general algorithm for data dependence analysis |
126
click to vote
POPL
2010
ACM
16 years 19 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
156
click to vote
EMNLP
2010
15 years 1 months ago
2010
We describe a model for the lexical analysis of Arabic text, using the lists of alternatives supplied by a broad-coverage morphological analyzer, SAMA, which include stable lemma ...
131
click to vote
WSDM
2010
ACM
16 years 19 days ago
2010
ACM
This article describes an application of the partially observable Markov (POM) model to the analysis of a large scale commercial web search log. Mathematically, POM is a variant o...
168
click to vote
DOCENG
2004
ACM
15 years 8 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...
158
click to vote
PODS
2010
ACM
15 years 8 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...