4894 search results - page 11 / 979 » Choices |
140
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
137
click to vote
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
Our research aims at developing a system that paraphrases written language text to spoken language style. In such a system, it is important to distinguish between appropriate and i...
136
click to vote
SETN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Constructive methods obtain solutions to constraint satisfaction problem instances by iteratively extending consistent partial assignments. In this research, we study the...
148
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
127
click to vote
ICLP
1998
Springer
15 years 9 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...