11345 search results - page 441 / 2269 » Foundations of Computer Science |
185
click to vote
ACMSE
2000
ACM
15 years 11 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
169
Voted
FOCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
207
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
190
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
A course on pervasive computing should be structured around key functions throughout a systems development process to cover common underlying concerns throughout science and engin...
352
click to vote
Book
The book focuses on practical computer vision techniques that are suitable for industry.