471 search results - page 21 / 95 » Case studies for self-organization in computer science |
ICS
2010
Tsinghua U.
14 years 6 months ago
2010
Tsinghua U.
In this paper we study the possibility of proving the existence of one-way functions based on average case hardness. It is well-known that if there exists a polynomial-time sample...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...
COMPLEX
2009
Springer
14 years 3 months ago
2009
Springer
Upon an outbreak of a dangerous infectious disease, people generally tend to reduce their contacts with others in fear of getting infected. Such typical actions apparently help to ...
FOCS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...