3073 search results - page 213 / 615 » Real World Verification |
127
Voted
WSCG
2001
15 years 6 months ago
2001
This paper shows an approach for a storytelling oriented interaction on digital video. All the interaction capabilities of the system are driven by the video context and therefore...
120
click to vote
WSCG
2001
15 years 6 months ago
2001
- In order to help the user to accomplish a task, teleoperation systems have to integrate different tools such as visualization, divers interaction devices, planning tools, etc......
188
click to vote
ALENEX
2008
15 years 6 months ago
2008
We present the algorithmic core of a full text data base that allows fast Boolean queries, phrase queries, and document reporting using less space than the input text. The system ...
145
click to vote
BIRTHDAY
2010
Springer
15 years 6 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...
145
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Integer factorization is a very hard computational problem. Currently no ecient algorithm for integer factorization is publicly known. However, this is an important probl...