3001 search results - page 122 / 601 » Recursive type generativity |
130
click to vote
ISMVL
1997
IEEE
15 years 10 months ago
1997
IEEE
The composition tree of a given function, when it exists, provides a representation of the function revealing all possible disjunctive decompositions, thereby suggesting a realiza...
187
click to vote
CCIA
2008
Springer
15 years 8 months ago
2008
Springer
Agents are situated autonomous entities that perceive and act in their environment, and communicate with other agents. An agent usually starts a conversation by querying another a...
168
Voted
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, ...
115
click to vote
IJCAI
1993
15 years 7 months ago
1993
Our experience in the IDAS natural language generation project has shown us that IDAS'S KLONE-like classifier, originally built solely to hold a domain knowledge base, could ...
120
click to vote
APAL
2006
15 years 6 months ago
2006
Abstract. The main result is that for every recursively enumerable existential consistent theory (in the usual language of group theory), there exists a finitely presented SQ-univ...