4372 search results - page 235 / 875 » Algorithmic Theories of Everything |
125
click to vote
TACAS
2010
Springer
16 years 25 days ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
247
click to vote
ESOP
2009
Springer
16 years 19 days ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
153
click to vote
ALDT
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
150
click to vote
APPROX
2009
Springer
16 years 13 days ago
2009
Springer
Small-bias, or -biased, spaces have found many applications in complexity theory, coding theory, and derandomization. We generalize the notion of small-bias spaces to the setting ...
139
Voted
SMI
2007
IEEE
16 years 3 days ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...