3799 search results - page 218 / 760 » An Engineering Approach to Formal Methods |
176
Voted
AIME
2011
Springer
14 years 4 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
125
click to vote
IJCV
2006
15 years 4 months ago
2006
We address the issue of low-level segmentation of vector-valued images, focusing on the case of color natural images. The proposed approach relies on the formulation of the problem...
145
Voted
RSEISP
2007
Springer
15 years 10 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
128
click to vote
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
121
click to vote
CIARP
2006
Springer
15 years 8 months ago
2006
Springer
Linear dimensionality reduction (LDR) is quite important in pattern recognition due to its efficiency and low computational complexity. In this paper, we extend the two-class Chern...