689 search results - page 38 / 138 » Encapsulation theory fundamentals |
CGA
2004
13 years 9 months ago
2004
graphical abstractions, Hyperscore provides a visual analogue for what is happening structurally in the music as opposed to displaying musical events in procedural notation or as a...
IWPC
2009
IEEE
14 years 4 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
CIE
2007
Springer
14 years 4 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
ICWL
2007
Springer
14 years 4 months ago
2007
Springer
This paper sets out the central problem of current blended learning research that it does not have an appropriate focus on educational theory. The blended learning praxis in higher...