2597 search results - page 295 / 520 » On numbers of Davenport-Schinzel sequences |
202
Voted
BMVC
1996
15 years 8 months ago
1996
This paper describes the continuing development of a system for tracking multiple man made objects, (typically vehicles) moving in a natural open world scene, where the detected m...
127
click to vote
SLP
1989
15 years 7 months ago
1989
This paper describes a learning system, LASSY1, which explores domains represented by Prolog databases, and use its acquired knowledge to increase the efficiency of a Prolog inter...
177
click to vote
MVA
1992
15 years 7 months ago
1992
An increasing number of comfortable publishing systems nowadays leads to documents containing more than just textual information. Graphics and images are combined with text and of...
213
click to vote
PSTV
1992
15 years 7 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
132
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
The increasing significance of RNAs in transcriptional or post-transcriptional gene regulation processes has generated considerable interest towards the prediction of RNA folding ...