1888 search results - page 58 / 378 » Proof theory and computational analysis |
105
click to vote
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...
PODS
2012
ACM
12 years 7 days ago
2012
ACM
Database theory and database practice are typically the domain of computer scientists who adopt what may be termed an algorithmic perspective on their data. This perspective is ve...
MOBIHOC
2008
ACM
14 years 9 months ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
CHI
2009
ACM
14 years 2 months ago
2009
ACM
As HCI becomes more self-consciously implicated in culture, theories from cultural studies, in particular aesthetics and critical theory, are increasingly working their way into t...
JACM
2002
13 years 9 months ago
2002
An exponential lower bound on the circuit complexity of deciding the weak monadic second-order theory of one successor (WS1S) is proved. Circuits are built from binary operations, ...