7557 search results - page 357 / 1512 » Modeling Timed Concurrent Systems |
203
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
159
click to vote
JMLR
2011
15 years 1 months ago
2011
The Causality Workbench project is an environment to test causal discovery algorithms. Via a web portal (http://clopinet.com/causality), it provides a number of resources, includi...
170
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
173
click to vote
GMP
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. This paper presents a method for analogizing high-dimensional spacetime curves, and shows how it can be used to transform a motion sequence into new content and styles ac...
177
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...