1604 search results - page 168 / 321 » Development Separation in Lambda-Calculus |
JAIR
2008
13 years 10 months ago
2008
Multi-agent planning in stochastic environments can be framed formally as a decentralized Markov decision problem. Many real-life distributed problems that arise in manufacturing,...
JOT
2006
13 years 10 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
IJON
2007
13 years 10 months ago
2007
The primary somatosensory cortex contains a topographic map of the body surface, with two notable discontinuities — the representation of the face is next to that of the hands, ...
INFORMATICALT
2007
13 years 10 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
CE
2005
13 years 10 months ago
2005
This paper is concerned with affective issues in learning technologies in a collaborative context. Traditionally in learning there has been a division between cognition and affect...