Sciweavers

4270 search results - page 381 / 854
» A Permutation Approach to Validation
Sort
View
FROCOS
2005
Springer
16 years 8 days ago
Connecting Many-Sorted Structures and Theories Through Adjoint Functions
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
Franz Baader, Silvio Ghilardi
IBPRIA
2005
Springer
16 years 8 days ago
Multi-resolution Image Analysis for Vehicle Detection
Computer Vision can provide a great deal of assistance to Intelligent Vehicles. In this paper an Advanced Driver Assistance Systems for Vehicle Detection is presented. A geometric ...
Cristina Hilario, Juan Manuel Collado, Jose M. Arm...
ICANN
2005
Springer
16 years 8 days ago
Batch-Sequential Algorithm for Neural Networks Trained with Entropic Criteria
The use of entropy as a cost function in the neural network learning phase usually implies that, in the back-propagation algorithm, the training is done in batch mode. Apart from t...
Jorge M. Santos, Joaquim Marques de Sá, Lu&...
ICAPR
2005
Springer
16 years 8 days ago
GP Ensemble for Distributed Intrusion Detection Systems
In this paper an intrusion detection algorithm based on GP ensembles is proposed. The algorithm runs on a distributed hybrid multiisland model-based environment to monitor security...
Gianluigi Folino, Clara Pizzuti, Giandomenico Spez...
ICCS
2005
Springer
16 years 8 days ago
Language Technologies Meet Ontology Acquisition
This paper overviews and analyses the on-going research attempts to apply language technologies to automatic ontology acquisition. At first glance there are many successful approac...
Galia Angelova