451 search results - page 41 / 91 » Temporal Classes and OWL |
153
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
188
click to vote
ICIAP
2005
ACM
16 years 5 days ago
2005
ACM
Most of the already proposed skin detection approaches are based on the same pixel-wise paradigm, in which each image pixel is individually analyzed. We think that this paradigm sh...
175
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
163
click to vote
CONCUR
1993
Springer
15 years 10 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
209
click to vote
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents an online detection-based two-stage multi-object tracking method in dense visual surveillances scenarios with a single camera. In the local stage, a particle f...