11016 search results - page 485 / 2204 » Cloud Computing for Science |
132
click to vote
STACS
2007
Springer
16 years 1 months ago
2007
Springer
For every k ≥ 1 and two finite fields F and F , we design a polynomial-time algorithm that given a matroid M of branch-width at most k represented over F decides whether M is ...
172
click to vote
FOCS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we use random-selection protocols in the full-information model to solve classical problems in distributed computing. Our main results are the following: • An O(l...
184
click to vote
ACSC
2005
IEEE
16 years 18 days ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
183
Voted
TLCA
2005
Springer
16 years 13 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
146
click to vote
GI
2004
Springer
16 years 10 days ago
2004
Springer
Abstract: The vision process is very complex and requires for its realization in artificial systems a fundamentally new technology for systems generation. This must be based on pr...