3082 search results - page 235 / 617 » Deviation Analysis: A New Use of Model Checking |
143
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
166
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
197
click to vote
AVBPA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper we introduce a novel approach for learning view-invariant gait representation that does not require synthesizing particular views or any camera calibration....
152
click to vote
EGITALY
2006
15 years 8 months ago
2006
This paper reports a multidisciplinary research between computer science and plastic and reconstructive surgery. In particular, a new method is proposed to unambiguously define a ...
149
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
A new language model for speech recognition inspired by linguistic analysis is presented. The model develops hidden hierarchical structure incrementally and uses it to extract mea...