1943 search results - page 120 / 389 » Ordering Default Theories |
172
click to vote
COMPGEOM
2005
ACM
15 years 9 months ago
2005
ACM
Let S be an ordered set of disjoint unit spheres in R3 . We show that if every subset of at most six spheres from S admits a line transversal respecting the ordering, then the ent...
153
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Let S be an ordered set of disjoint unit spheres in R3 . We show that if every subset of at most six spheres from S admits a line transversal respecting the ordering, then the ent...
202
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
150
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
In the present study a set of first order correlation functions are proposed to examine the quality of a wide class of identified nonlinear models. The first order correlation ...
180
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Sequential game and Nash equilibrium are basic key concepts in game theory. In 1953, Kuhn showed that every sequential game has a Nash equilibrium. The two main steps of ...