10392 search results - page 408 / 2079 » Introduction to Computer Science |
132
Voted
STACS
2007
Springer
16 years 29 days 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 ...
169
click to vote
FOCS
2006
IEEE
16 years 27 days 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...
183
click to vote
ACSC
2005
IEEE
16 years 14 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...
179
Voted
TLCA
2005
Springer
16 years 10 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...
145
click to vote
GI
2004
Springer
16 years 7 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...