11716 search results - page 115 / 2344 » Computable symbolic dynamics |
159
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper presents a novel approach for recognizing and interpreting dimensions in engineering drawings. It starts by detecting potential dimension frames, each comprising only t...
107
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
We examined the benefits of animated scrolling using four speeds and three different document types in terms of task speed, accuracy and user preference. We considered reading tas...
143
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
156
click to vote
UCS
2004
Springer
15 years 11 months ago
2004
Springer
Fiducial tags can be recognised successfully and decoded by computer vision systems in order to produce location information. We term a system dependable if its observable results ...
183
click to vote
STACS
1999
Springer
15 years 10 months ago
1999
Springer
The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of str...