11462 search results - page 294 / 2293 » Developing Application-Centric Methods |
145
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
In this paper, we propose to develop the supervised classification method Fuzzy Pattern Matching to be in addition a non supervised one. The goal is to monitor dynamic systems with...
165
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
144
click to vote
ICB
2009
Springer
15 years 2 months ago
2009
Springer
We present in this communication a new biometric system based on the use of hand veins acquired by an infrared imager. After the preprocessing stage and binarization, the vein imag...
120
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
164
click to vote
IFM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...