5269 search results - page 31 / 1054 » order 2007 |
APAL
2004
14 years 11 months ago
2004
The purpose of this article is to present a new theory IPA() for fixed points over arithmetic which allows the building up of fixed points in a very nested and entangled way. But ...
JSC
2007
14 years 11 months ago
2007
We classify Moufang loops of order 64 and 81 up to isomorphism, using a linear algebraic approach to central loop extensions. In addition to the 267 groups of order 64, there are ...
ACL
2007
15 years 1 months ago
2007
We present a global discriminative statistical word order model for machine translation. Our model combines syntactic movement and surface movement information, and is discriminat...
EUSFLAT
2001
15 years 1 months ago
2001
The Vague Query System (VQS) due to Kiing and Palkoska is an add-on to relational databases which is able to suggest alternative query results in case that an exact query fails. T...
IJCAI
2003
15 years 1 months ago
2003
We identify a new and important global (or nonbinary) constraint which ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This const...