Sciweavers

12052 search results - page 186 / 2411
» computer 2010
Sort
View
COMPUTER
2010
73views more  COMPUTER 2010»
14 years 8 months ago
Simulating the Universe on an Intercontinental Grid
Simon Portegies Zwart, Derek Groen, Tomoaki Ishiya...
BIRTHDAY
2010
Springer
14 years 10 months ago
From the Internet of Computers to the Internet of Things
Abstract. This paper1 discusses the vision, the challenges, possible usage scenarios and technological building blocks of the "Internet of Things". In particular, we cons...
Friedemann Mattern, Christian Floerkemeier
VLUDS
2010
270views Visualization» more  VLUDS 2010»
14 years 5 months ago
Detection and Identification Techniques for Markers Used in Computer Vision
This paper summarizes and compares techniques for detecting and identifying markers in the context of computer vision. Existing approaches use correlation, digital, or topological...
Johannes Köhler, Alain Pagani, Didier Stricke...
63
Voted
STACS
2010
Springer
15 years 5 months ago
Computing Least Fixed Points of Probabilistic Systems of Polynomials
We study systems of equations of the form X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where each fi is a poly
Javier Esparza, Andreas Gaiser, Stefan Kiefer
CIE
2010
Springer
15 years 3 months ago
Computational Interpretations of Analysis via Products of Selection Functions
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...
Martín Hötzel Escardó, Paulo Ol...