1086 search results - page 84 / 218 » Points surrounding the origin |
BIRTHDAY
1999
Springer
15 years 5 months ago
1999
Springer
This review paper will report on some recent discoveries in the area of Formal Languages, chie y by F. Otto, G. Buntrock and G. Niemann. These discoveries have pointed out certain ...
ISIWI
1998
15 years 2 months ago
1998
Background The origins of the social browser concept Level one: 'draw and describe' Level two: 'draw and describe' and 'point and click' Level three:...
CPC
2008
15 years 1 months ago
2008
Let ai, bi, i = 0, 1, 2, . . . be drawn uniformly and independently from the unit interval, and let t be a fixed real number. Let a site (i, j) N2 be open if ai + bj t, and clos...
113
click to vote
AMAI
2006
Springer
15 years 1 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
112
click to vote
JGO
2008
15 years 1 months ago
2008
This article complements the paper [7], where we showed that a compact feasible set of a standard semi-infinite optimization problem can be approximated arbitrarily well by a leve...