Sciweavers

846 search results - page 54 / 170
» Fundamentals of Media Theory
Sort
View
CIE
2007
Springer
15 years 8 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
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...
Andrej Bauer, Christopher A. Stone
ICLP
2007
Springer
15 years 8 months ago
Minimal Logic Programs
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...
Pedro Cabalar, David Pearce, Agustín Valver...
93
Voted
ICWL
2007
Springer
15 years 8 months ago
The Marriage of Rousseau and Blended Learning: An Investigation of 3 Higher Educational Institutions' Praxis
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...
Esyin Chew, Norah Jones, David Turner
EMSOFT
2005
Springer
15 years 7 months ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
AAAI
1997
15 years 3 months ago
Agent Architectures for Flexible, Practical Teamwork
Teamwork in complex, dynamic, multi-agent domains mandates highly flexible coordination and communication. Simply fitting individual agents with precomputed coordination plans w...
Milind Tambe