1632 search results - page 325 / 327 » On special numberings of hypergraphs |
159
click to vote
FOSSACS
2011
Springer
14 years 1 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
102
click to vote
POPL
2011
ACM
14 years 10 days ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
120
click to vote
SIGECOM
2011
ACM
14 years 10 days ago
2011
ACM
We present algorithms for a class of resource allocation problems both in the online setting with stochastic input and in the offline setting. This class of problems contains man...
75
Voted
ASPLOS
2012
ACM
13 years 5 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
113
Voted
SIGIR
2012
ACM
12 years 12 months ago
2012
ACM
Versioned document collections are collections that contain multiple versions of each document. Important examples are Web archives, Wikipedia and other wikis, or source code and ...