3742 search results - page 44 / 749 » On the Use of Formal Techniques for Validation |
MVA
1998
15 years 1 months ago
1998
An efficient matching method for segment-based stereo vision is proposed. A potential matching graph which describes the connectivity between candidate matching pairs of segments ...
107
click to vote
CAV
2011
Springer
14 years 3 months ago
2011
Springer
We updated our Peggy tool, previously presented in [6], to perform translation validation for the LLVM compiler using a technique called Equality Saturation. We present the tool, a...
125
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
ICCBR
2010
Springer
15 years 3 months ago
2010
Springer
This paper addresses the issue of adapting cases represented by plain text with the help of formal concept analysis and natural language processing technologies. The actual cases r...
102
click to vote
EDCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...