4131 search results - page 82 / 827 » The Generalized Max-Controlled Set Problem |
113
click to vote
CIE
2007
Springer
15 years 9 months ago
2007
Springer
We study Post’s Problem for the ordinal register machines defined in [6], showing that its general solution is positive, but that any set of ordinals solving it must be unbounde...
112
click to vote
CSL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
126
click to vote
PAMI
2006
15 years 3 months ago
2006
Three-dimensional appearance models consisting of spatially varying reflectance functions defined on a known shape can be used in analysis-by-synthesis approaches to a number of vi...
106
click to vote
CSIE
2009
IEEE
15 years 10 months ago
2009
IEEE
Building a model using machine learning that can classify the sentiment of natural language text often requires an extensive set of labeled training data from the same domain as t...
167
click to vote
CIKM
1994
Springer
15 years 7 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...