3028 search results - page 165 / 606 » Integrating Temporal Logics |
178
click to vote
JSA
2000
15 years 6 months ago
2000
As the density of VLSI circuits increases it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benef...
171
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this work, we systematically study the problem of visual event recognition in unconstrained news video sequences. We adopt the discriminative kernel-based method for which vide...
191
click to vote
CVPR
2010
IEEE
16 years 13 days ago
2010
IEEE
Conventional low frame rate cameras result in blur and/or aliasing in images while capturing fast dynamic events. Multiple low speed cameras have been used previously with stagger...
178
Voted
ECP
1997
Springer
15 years 11 months ago
1997
Springer
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
172
Voted
APVIS
2007
15 years 8 months ago
2007
In this paper, we present a case study for the visualisation and analysis of large and complex temporal multivariate networks derived from the Internet Movie DataBase (IMDB). Our ...