Sciweavers

29 search results - page 5 / 6
» aml 2008
Sort
View
AML
2008
72views more  AML 2008»
13 years 5 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 5 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 5 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 5 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 7 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