1287 search results - page 83 / 258 » Reduction of Timed Hybrid Systems |
126
click to vote
ENTCS
2006
15 years 4 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
156
click to vote
ICIAP
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents the scatter search particle filter (SSPF) algorithm and its application to real-time hands and face tracking. SSPF combines sequential Monte Carlo (particle fil...
143
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents two visualization techniques suitable for huge oceanography time-varying volume datasets on high-performance graphics workstations. We first propose an off-lin...
126
click to vote
WEA
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a metaheuristic framework for combinatorial optimization. Our framework is similar to others (e.g. [1]) in that it is modular enough that important components can be i...
126
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...