2944 search results - page 252 / 589 » On Well Quasi-orders on Languages |
167
click to vote
IR
2000
15 years 6 months ago
2000
: Previous research in conceptual indexing methods of images has furnished us with refined theoretical frameworks characterising various aspects of images that could and should be ...
290
click to vote
Book
"Although an application's human interface designer and software developer might well be the same person, the two jobs involve different tasks and require different skill...
909
click to vote
Book
"Bxbasic is presented as a programming tutorial, to develop and construct a Console Mode Scripting Engine and
Byte Code Compiler. The Bxbasic dialect, included here, is a sub...
161
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...
162
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...