Sciweavers

29 search results - page 5 / 6
» aml 2008
Sort
View
AML
2008
72views more  AML 2008»
13 years 10 months ago
On Lachlan's major sub-degree problem
The Major Sub-degree Problem of A. H. Lachlan (first posed in 1967) has become a long-standing open question concerning the structure of the computably enumerable (c.e.) degrees. ...
S. Barry Cooper, Angsheng Li
AML
2008
53views more  AML 2008»
13 years 10 months ago
Pairs, sets and sequences in first-order theories
In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. Firs...
Albert Visser
AML
2008
47views more  AML 2008»
13 years 10 months ago
Fruitful and helpful ordinal functions
This document is a survey of the four papers [H], [Sch], [Com], [FandH]. It gives the relevant background and shows how the papers fit together to form a whole. Material from thos...
Harold Simmons
AML
2008
54views more  AML 2008»
13 years 10 months ago
Potential continuity of colorings
Abstract. We say that a coloring c : []n 2 is continuous if it is continuous with respect to some second countable topology on . A coloring c is potentially continuous if it is co...
Stefan Geschke
COLING
1992
13 years 11 months ago
Cooperation between Transfer and Analysis in Example-Based Framework
Transfer-Driven Machine Translation (TDMT) is presented as a method which drives the translation processes according to the nature of the input. In TDMT, transfer knowledge is the...
Osamu Furuse, Hitoshi Iida