27692 search results - page 305 / 5539 » Where is ... |
COCOON
2007
Springer
15 years 7 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
85
Voted
DSOM
2007
Springer
15 years 7 months ago
2007
Springer
Link dimensioning is generally considered as an effective and (operationally) simple mechanism to meet (given) performance requirements. In practice, the required link capacity C...
84
Voted
ECAL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Pioneer approaches to Artificial Intelligence have traditionally neglected, in a chronological sequence, the agent body, the world where the agent is situated, and the o...
121
Voted
FSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. “Hash then encrypt” is an approach to message authentication, where first the message is hashed down using an ε-universal hash function, and then the resulting k-bi...
84
Voted
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we consider the classical Erd˝os-R´enyi model of random graphs Gn,p. We show that for p = p(n) ≤ n−3/4−δ , for any fixed δ > 0, the chromatic number χ...