6583 search results - page 470 / 1317 » Semantic Analysis Patterns |
201
click to vote
ISSAC
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
153
click to vote
LLC
2010
15 years 1 months ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
197
click to vote
ICMCS
2005
IEEE
16 years 15 days ago
2005
IEEE
Principal Component Analysis (PCA) has been widely used to extract features for pattern recognition problems such as object recognition. Oliva and Torralba used “spatial envelop...
201
click to vote
ICIAR
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In this paper, several one-class classification methods are investigated in pixel space and PCA (Principal component Analysis) subspace having in mind the need of finding...
174
click to vote
IWCIA
2004
Springer
16 years 7 days ago
2004
Springer
The paper compares six conventional binarization methods for the special purpose of subsequent analysis of scanned insect footprints. We introduce a new performance criterion for p...