2588 search results - page 102 / 518 » Applications of Kolmogorov complexity to computable model th... |
100
Voted
SIGMOD
2004
ACM
16 years 1 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
117
click to vote
PRESENCE
2010
14 years 8 months ago
2010
This paper focuses on the design of high performance VR applications. These applications usually involve various I/O devices and complex simulations. A parallel architecture or gri...
ISVD
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider finite sets of oriented spheres in Rk−1 and, by interpreting such spheres as points in Rk , study the Voronoi diagrams they induce for several variants of distance ...
115
click to vote
BIRTHDAY
2010
Springer
15 years 2 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...
124
click to vote
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...