2421 search results - page 241 / 485 » Integrity Assurance Technique Using Determinant Approach |
139
click to vote
AAI
2004
15 years 4 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
125
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
The quality of the lung nodule models determines the success of lung nodule detection. This paper describes aspects of our data-driven approach for modeling lung nodules using the...
305
click to vote
JMLR
2010
14 years 11 months ago
2010
This study explores the feasibility of estimating the Body Condition Score (BCS) of cows from digital images by employing statistical shape analysis and regression machines. The s...
144
click to vote
POPL
1995
ACM
15 years 8 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
130
click to vote
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...