3742 search results - page 249 / 749 » On the Use of Formal Techniques for Validation |
182
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Point Distribution Modelling (PDM) is an efficient generative technique that can be used to incorporate statistical shape priors into image analysis methods like Active Shape Mode...
177
click to vote
JCP
2008
15 years 6 months ago
2008
In this paper, real-time system identification of an unmanned aerial vehicle (UAV) based on multiple neural networks is presented. The UAV is a multi-input multi-output (MIMO) nonl...
306
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Variations in delay caused by within-die and die-to-die process variations and SOI history effect increase timing margins and reduce performance. In order to develop mitigation te...
194
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
186
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...