602 search results - page 105 / 121 » Knowledge Base Compilation and the Language Design Game |
CP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
ASWC
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
OAS
2003
13 years 10 months ago
2003
Computing is moving toward a pervasive context-aware environment in which agents with limited resources will require external support to help them become context-aware. In this pa...
ICALT
2003
IEEE
14 years 2 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
WWW
2005
ACM
14 years 2 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...