Sciweavers

295 search results - page 29 / 59
» Utility-Based Abstraction and Categorization
Sort
View
WADT
2004
Springer
15 years 9 months ago
Theoroidal Maps as Algebraic Simulations
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
Narciso Martí-Oliet, José Meseguer, ...
CORR
2009
Springer
67views Education» more  CORR 2009»
15 years 1 months ago
On Measuring Non-Recursive Trade-Offs
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
Hermann Gruber, Markus Holzer, Martin Kutrib
145
Voted
AINA
2004
IEEE
15 years 7 months ago
Online Training of SVMs for Real-time Intrusion Detection
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
Zonghua Zhang, Hong Shen
FOIS
2006
15 years 5 months ago
Formalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
Antoine Zimmermann, Markus Krötzsch, Jé...
PR
2007
146views more  PR 2007»
15 years 3 months ago
ML-KNN: A lazy learning approach to multi-label learning
Abstract: Multi-label learning originated from the investigation of text categorization problem, where each document may belong to several predefined topics simultaneously. In mul...
Min-Ling Zhang, Zhi-Hua Zhou