4128 search results - page 83 / 826 » Learning and using relational theories |
CSL
2009
Springer
14 years 4 months ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
FOSSACS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
AIMSA
2000
Springer
14 years 2 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
JACM
2000
13 years 9 months ago
2000
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
ICCE
2007
13 years 11 months ago
2007
: Recently, instructional videos are widely being used in educational settings. Many researches have proposed the construction of video-based learning environments that reflect Cog...