488 search results - page 19 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
111
Voted
ICALT
2005
IEEE
15 years 8 months ago
2005
IEEE
The authors will propose system integrated mechanisms, a Wiki platform for peer-reviewing, Link Grammar for automatically checking the students’ papers, and a RSS reader to peri...
127
click to vote
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
122
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
116
Voted
PAMI
2002
15 years 2 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
111
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper we propose a novel scheme to combine offline and online features of handwritten strokes. The stateof-the-art methods in handwritten stroke recognition have used a pr...