3457 search results - page 419 / 692 » A Symbol Is Not a Symbol |
169
click to vote
ADC
2000
Springer
15 years 11 months ago
2000
Springer
Annotated speech corpora are databases consisting of signal data along with time-aligned symbolic ‘transcriptions’. Such databases are typically multidimensional, heterogeneou...
177
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
180
click to vote
CPM
2000
Springer
15 years 11 months ago
2000
Springer
We present a Boyer-Moore approach to string matching over LZ78 and LZW compressed text. The key idea is that, despite that we cannot exactly choose which text characters to inspect...
161
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
The purpose of this study is to automatically extract telop and flip characters. It starts from the extraction of stable frame sections including the telop and flip characters. Ne...
187
click to vote
INFOVIS
1999
IEEE
15 years 11 months ago
1999
IEEE
We have developed a technique, Aggregate Towers, that allows geospatial data to be visualized across a range of map scales. We use a combination of data aggregation algorithms and...