7820 search results - page 273 / 1564 » Formalization of Time and Space |
213
click to vote
DDECS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
164
click to vote
PCM
2004
Springer
16 years 19 days 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...
172
click to vote
VRML
1999
ACM
15 years 11 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...
196
click to vote
HICSS
1998
IEEE
15 years 11 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...
189
click to vote
FC
2007
Springer
15 years 11 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...