2597 search results - page 285 / 520 » On numbers of Davenport-Schinzel sequences |
119
click to vote
STOC
2000
ACM
15 years 6 months ago
2000
ACM
We propose a random graph model which is a special case of sparse random graphs with given degree sequences. This model involves only a small number of parameters, called logsize ...
127
click to vote
CVPR
1999
IEEE
15 years 6 months ago
1999
IEEE
We address the problem of detection and tracking of moving objects in a video stream obtained from a moving airborne platform. The proposed method relies on a graph representation...
124
click to vote
ICCV
1999
IEEE
15 years 6 months ago
1999
IEEE
A motion segmentation algorithm based on factorization method and discriminant criterion is proposed. This method uses a feature with the most useful similarities for grouping, se...
139
click to vote
ACPC
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we first present an Object Composition Petri Nets (OCPN) based model methodology for describing the dynamic behaviour of the multiple video objects and user interac...
116
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...