1111 search results - page 78 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
145
click to vote
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. This paper presents a novel approach to sign language recognition that provides extremely high classification rates on minimal training data. Key to this approach is a 2 ...
151
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
116
Voted
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
105
Voted
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
136
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...