3457 search results - page 271 / 692 » A Symbol Is Not a Symbol |
150
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach for recovery from perceptual failures, or more precisely anchoring failures. Anchoring is the problem of connecting symbols representing objects to sensor da...
208
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
201
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
191
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a conceptual framework and a process model for feature extraction and iconic visualization. Fearaction is viewed as a process of data abstraction, which can pr...
197
click to vote
DAS
2010
Springer
15 years 10 months ago
2010
Springer
We address the problem of handwritten symbol classification in the presence of distortions modeled by affine transformations. We consider shear, rotation, scaling and translation,...