5350 search results - page 134 / 1070 » Space and time in eco-ontologies |
159
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
147
click to vote
PCM
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a novel background modeling approach for day and night video surveillance. A great number of background models have been proposed to represent the background sc...
149
click to vote
VRML
1999
ACM
15 years 10 months ago
1999
ACM
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
175
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Improvements in computer network infrastructures and information utilities have led to an increase in the number of social and work interactions carried out `virtually' by ge...
165
click to vote
FC
2007
Springer
15 years 10 months ago
2007
Springer
A new certificate revocation system is presented. The basic idea is to divide the certificate space into several partitions, the number of partitions being dependent on the PKI en...