3575 search results - page 36 / 715 » Presentations of computably enumerable reals |
149
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
159
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
168
click to vote
EUROGP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
135
click to vote
COLING
2002
15 years 5 months ago
2002
For meaning representations in NLP, we focus our attention on thematic aspects and conceptual vectors. The learning strategy of conceptual vectors relies on a morphosyntaxic analy...
156
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
In high dimensional data, the general performance of traditional clustering algorithms decreases. This is partly because the similarity criterion used by these algorithms becomes ...