1193 search results - page 54 / 239 » A primer of simple theories |
120
click to vote
IAT
2009
IEEE
15 years 3 months ago
2009
IEEE
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
AMC
2010
14 years 12 months ago
2010
In this paper, we investigate condition numbers of eigenvalue problems of matrix polynomials with nonsingular leading coefficients, generalizing classical results of matrix pertur...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
In this paper we present a simple database definition language: that of categories and functors. A database schema is a category and a state is a set-valued functor. We show that m...
IPL
2006
14 years 12 months ago
2006
We present a Coq-formalised proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCFstyle theorem p...
TROB
2008
14 years 11 months ago
2008
We present a system for robust robot skill acquisition from kinesthetic demonstrations. This system allows a robot to learn a simple goal-directed gesture, and correctly reproduce...