2909 search results - page 150 / 582 » Consistency of the theory of contexts |
150
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper presents a guaranteed method for the parameter estimation of nonlinear models in a bounded-error context. This method is based on functions which consists of the differ...
168
click to vote
ICDT
2010
ACM
15 years 10 months ago
2010
ACM
Several computational problems in phylogenetic reconstruction can be formulated as restrictions of the following general problem: given a formula in conjunctive normal form where ...
159
click to vote
JSYML
2010
15 years 4 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
175
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
In the context of graphics recognition, arc detection consists in the extraction of circles and arcs from the image of a graphics document or from the segments yielded by its vect...
132
click to vote
DCW
2000
Springer
15 years 10 months ago
2000
Springer
We contemplate extending the applicability of our current implementation of a DSM operating system from the locally connected PC cluster to large scale intranets and multiple feder...