3215 search results - page 428 / 643 » Content Models with Attitude |
302
click to vote
COGSR
2010
15 years 1 months ago
2010
Ontologies, as knowledge engineering tools, allow information to be modelled in ways resembling to those used by the human brain, and may be very useful in the context of personal...
202
click to vote
JITT
2011
15 years 1 months ago
2011
Mobile phones are becoming a primary platform for information access and when coupled with recommender systems technologies they can become key tools for mobile users both for lei...
113
click to vote
TCIAIG
2011
15 years 1 months ago
2011
—Launchpad is an autonomous level generator that is based on a formal model of 2-D platformer level design. Levels are built out of small segments called “rhythm groups,” whi...
316
click to vote
NN
2011
Springer
15 years 1 months ago
2011
Springer
In this letter we explore an alternative structural representation for Steinbuch-type binary associative memories. These networks offer very generous storage capacities (both asy...
205
click to vote
JAR
2010
15 years 1 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...