Sciweavers

2944 search results - page 252 / 589
» On Well Quasi-orders on Languages
Sort
View
IR
2000
15 years 6 months ago
End-User Searching Challenges Indexing Practices in the Digital Newspaper Photo Archive
: 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 ...
Marjo Markkula, Eero Sormunen

Book
260views
17 years 2 months ago
Java Look and Feel Design Guidelines
"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...
Sun Microsystems Inc

Book
2244views
17 years 2 months ago
Let's Build a Scripting Engine-Compiler - Blunt Axe Basic Project
"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...
S. Arbayo
ICML
2004
IEEE
16 years 7 months ago
Bellman goes relational
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...
Kristian Kersting, Martijn Van Otterlo, Luc De Rae...
CADE
2007
Springer
16 years 7 months ago
First Order Reasoning on a Large Ontology
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...
Adam Pease, Geoff Sutcliffe