Sciweavers

338 search results - page 34 / 68
» Many Facets of Complexity in Logic
Sort
View
WEBI
2009
Springer
14 years 3 months ago
Measuring Inconsistency in DL-Lite Ontologies
Abstract—Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches h...
Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhi...
CEEMAS
2007
Springer
14 years 2 months ago
An Architecture and Framework for Agent-Based Web Applications
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...
Alexander Pokahr, Lars Braubach
MFCS
2001
Springer
14 years 29 days ago
Playing Games with Algorithms: Algorithmic Combinatorial Game Theory
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...
Erik D. Demaine
ICALP
2000
Springer
14 years 3 days ago
Temporal Rewards for Performance Evaluation
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
Jeroen Voeten
ICANN
2009
Springer
14 years 1 months ago
Constrained Learning Vector Quantization or Relaxed k-Separability
Neural networks and other sophisticated machine learning algorithms frequently miss simple solutions that can be discovered by a more constrained learning methods. Transition from ...
Marek Grochowski, Wlodzislaw Duch