8196 search results - page 463 / 1640 » Computational Modeling and Complexity Science |
172
click to vote
COCO
2009
Springer
16 years 1 months ago
2009
Springer
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
157
click to vote
WEBI
2005
Springer
16 years 10 days ago
2005
Springer
Intrusion detection on the internet is a heated research field in computer science, where much work has been done during the past two decades. In this paper, we build a network-b...
193
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
The confluence of virtual reality and artificial life, an emerging discipline that spans the computational and biological sciences, has yielded synthetic worlds inhabited by reali...
143
click to vote
IBMRD
2006
15 years 6 months ago
2006
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
191
click to vote
CC
2010
Springer
15 years 4 months ago
2010
Springer
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...