4816 search results - page 244 / 964 » Performance analysis of the AntNet algorithm |
168
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
197
click to vote
MM
2006
ACM
16 years 14 days ago
2006
ACM
Recognition of player actions in broadcast sports video is a challenging task due to low resolution of the players in video frames. In this paper, we present a novel method to rec...
179
click to vote
IDA
2009
Springer
15 years 11 months ago
2009
Springer
Knowledge extraction from data volumes of ever increasing size requires ever more flexible tools to facilitate interactive query. Interactivity enables real-time hypothesis testin...
178
click to vote
ICC
1997
IEEE
15 years 10 months ago
1997
IEEE
: This paper performs issues relative to modeling of VBR MPEG coded video sources over ATM B-ISDN networks. Firstly, we analyse the statistical characteristics of the three types o...
179
click to vote
PAKDD
2000
ACM
15 years 10 months ago
2000
ACM
The objective of data reduction is to obtain a compact representation of a large data set to facilitate repeated use of non-redundant information with complex and slow learning alg...