Sciweavers

5699 search results - page 741 / 1140
» Alternating model trees
Sort
View
189
Voted
JODL
2000
114views more  JODL 2000»
15 years 6 months ago
Integrating ontologies and thesauri for RDF schema creation and metadata querying
In this paper we present a new approach for building metadata schemas by integrating existing ontologies and structured vocabularies (thesauri). This integration is based on the s...
Bernd Amann, Irini Fundulaki, Michel Scholl
173
Voted
4OR
2010
107views more  4OR 2010»
15 years 6 months ago
On matrices with the Edmonds-Johnson property
s (from Seminario Dottorato's web page) 3 Notes of the seminars 9 Nicola Mazzari, A note on Grothendieck fundamental group . . . . . . . . . . . . . . 9 Marco Formentin, Infor...
Alberto Del Pia
178
Voted
IEICET
2010
113views more  IEICET 2010»
15 years 5 months ago
Probabilistic BPRRC: Robust Change Detection against Illumination Changes and Background Movements
This paper presents PrBPRRC (Probabilistic Bipolar Radial Reach Correlation), a change detection method that is robust against illumination changes and background movements. Most ...
Kentaro Yokoi
232
Voted
JAIHC
2010
205views more  JAIHC 2010»
15 years 5 months ago
Soft computing in intrusion detection: the state of the art
The state of the art is explored in using soft computing (SC) methods for network intrusion detection, including the examination of efforts in ten specific areas of SC as well as ...
Chet Langin, Shahram Rahimi
LPAR
2010
Springer
15 years 5 months ago
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
Konstantin Korovin, Christoph Sticksel