Sciweavers

6102 search results - page 700 / 1221
» Generating Optimizing Specializers
Sort
View
ECAI
2010
Springer
15 years 8 months ago
A Unified Framework for Non-standard Reasoning Services in Description Logics
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
GPCE
2008
Springer
15 years 8 months ago
Polymorphic embedding of dsls
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
Christian Hofer, Klaus Ostermann, Tillmann Rendel,...
AAMAS
2007
Springer
15 years 7 months ago
Reaching pareto-optimality in prisoner's dilemma using conditional joint action learning
We consider a repeated Prisoner’s Dilemma game where two independent learning agents play against each other. We assume that the players can observe each others’ action but ar...
Dipyaman Banerjee, Sandip Sen
AUTOMATICA
2008
139views more  AUTOMATICA 2008»
15 years 7 months ago
Structured low-rank approximation and its applications
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...
Ivan Markovsky
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 7 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...