2621 search results - page 189 / 525 » Generalized Algorithms for Constructing Statistical Language... |
AAECC
2006
Springer
14 years 10 months ago
2006
Springer
Abstract Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality meas...
163
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
CSL
2009
Springer
15 years 4 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
SIGIR
2009
ACM
2009
ACM
Incorporating prior knowledge into a transductive ranking algorithm for multi-document summarization
15 years 4 months ago
This paper presents a transductive approach to learn ranking functions for extractive multi-document summarization. At the first stage, the proposed approach identifies topic th...
ISCAS
2006
IEEE
15 years 4 months ago
2006
IEEE
—With the development of IC technology, it becomes urgent to investigate model reduction method for interconnects with process variations. In this paper, a one-shot projection al...