13041 search results - page 326 / 2609 » Simulating space and time |
220
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
The quadratic assignment problem (QAP) is a central problem in combinatorial optimization. Several famous computationally hard tasks, such as graph matching, partitioning, and the...
190
click to vote
DDECS
2006
IEEE
16 years 25 days 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...
166
click to vote
CAV
2005
Springer
16 years 9 days 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...
152
click to vote
PCM
2004
Springer
16 years 3 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...
160
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...