329 search results - page 20 / 66 » Towards a Theory of Actor Computation |
ECCV
2004
Springer
15 years 3 months ago
2004
Springer
—Cast shadows can be significant in many computer vision applications, such as lighting-insensitive recognition and surface reconstruction. Nevertheless, most algorithms neglect ...
ENTCS
2006
14 years 9 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
AMAI
2007
Springer
14 years 9 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
PARA
2004
Springer
15 years 3 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...