3028 search results - page 398 / 606 » Integrating Temporal Logics |
163
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper an efficient method of small object localization is proposed that integrates detection and tracking. The system is initialized using a strong detector and then it lo...
189
click to vote
JCDL
2009
ACM
16 years 1 months ago
2009
ACM
We propose a generative model based on latent Dirichlet allocation for mining distinct topics in document collections by integrating the temporal ordering of documents into the ge...
164
Voted
IEAAIE
2001
Springer
15 years 11 months ago
2001
Springer
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...
162
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines the computational role of inhibition as it moves towards balancing concurrent excitation using the biologically-inspired Temporal Noisy-Leaky Integrator (TNLI) ...
186
click to vote
SIGCOMM
1997
ACM
15 years 10 months ago
1997
ACM
We investigate how FEC (Forward Error Correction) can be combined with ARQ (Automatic Repeat Request) to achieve scalable reliable multicast transmission. We consider the two scen...