13306 search results - page 324 / 2662 » Theoretical Computer Science |
200
click to vote
TCS
2010
15 years 1 months ago
2010
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
182
click to vote
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first explicit connection between quantum computation and lattice problems. Namely, our main result is a solution to the Unique Shortest Vector Problem (SVP) under ...
153
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We give an explicit construction of an -biased set over k bits of size O k 2 log(1/ ) 5/4 . This improves upon previous explicit constructions when is roughly (ignoring logarith
152
click to vote
GI
2005
Springer
16 years 6 days ago
2005
Springer
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
177
click to vote
RELMICS
2001
Springer
15 years 11 months ago
2001
Springer
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to the...