Sciweavers

104 search results - page 14 / 21
» Formal concept analysis of higher order
Sort
View
115
Voted
ICTAI
2007
IEEE
15 years 6 months ago
Ontology-Based Object Recognition for Remote Sensing Image Interpretation
The multiplication of Very High Resolution (spatial or spectral) remote sensing images appears to be an opportunity to identify objects in urban and periurban areas. The classifi...
Nicolas Durand, Sébastien Derivaux, Germain...
ICDAR
2009
IEEE
15 years 7 months ago
Inductive Logic Programming for Symbol Recognition
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
K. C. Santosh, Bart Lamiroy, Jean-Philippe Ropers
127
Voted
SAS
2005
Springer
135views Formal Methods» more  SAS 2005»
15 years 6 months ago
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun ...
100
Voted
IJCNN
2006
IEEE
15 years 6 months ago
Optimal In-Place Learning and the Lobe Component Analysis
— It is difficult to map many existing learning algorithms onto biological networks because the former require a separate learning network. The computational basis of biological...
Juyang Weng, Nan Zhang 0002
98
Voted
CLASSIFICATION
2006
78views more  CLASSIFICATION 2006»
15 years 17 days ago
Astrocladistics: A Phylogenetic Analysis of Galaxy Evolution II. Formation and Diversification of Galaxies
:This series of papers is intended to evaluate astrocladistics in reconstructing phylogenies of galaxies. The objective of this second paper is to formalize the concept of galaxy f...
Didier Fraix-Burnet, Philippe Choler, Emmanuel J. ...