5269 search results - page 30 / 1054 » order 2007 |
153
click to vote
AML
1999
15 years 3 months ago
1999
We continue the works of Gurevich-Shelah and Lifsches-Shelah by showing that it is consistent with ZFC that the first-order theory of random graphs is not interpretable in the mon...
111
Voted
ACL
1998
15 years 4 months ago
1998
This paper proposes decoupling the dependency tree from word order, such that surface ordering is not determined by traversing the dependency tree. We develop the notion of a word...
151
click to vote
ACL
1990
15 years 4 months ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...
102
Voted
APPML
2005
15 years 3 months ago
2005
In this paper, we discuss the existence of positive periodic solutions to the nonlinear differential equation u (t) + a(t)u(t) = f (t, u(t)), t R, where a : R [0, +) is an -peri...
120
click to vote
LOGCOM
2007
15 years 3 months ago
2007
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...