796 search results - page 81 / 160 » Graph Properties Based Filtering |
148
click to vote
PCM
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we propose a scheme for ball detection and tracking in broadcast soccer video. There are two alternate procedures in the scheme: ball detection and ball tracking. In ...
134
click to vote
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
Automated detection of stable fracture points in a sequence of Computed Tomography (CT) images is found to be a challenging task. In this paper, an innovative scheme for automatic...
124
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
128
click to vote
TGIS
2010
14 years 10 months ago
2010
The presented paper deals with a generic process for road network selection based on data enrichment and structure detection. The first step is to detect significant structures and...
130
Voted
ISMVL
2010
IEEE
15 years 9 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...