Sciweavers

1604 search results - page 168 / 321
» Development Separation in Lambda-Calculus
Sort
View
JAIR
2008
145views more  JAIR 2008»
15 years 3 months ago
Communication-Based Decomposition Mechanisms for Decentralized MDPs
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,...
Claudia V. Goldman, Shlomo Zilberstein
JOT
2006
111views more  JOT 2006»
15 years 3 months ago
A Cohesion Measure for Aspects
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
Jean-François Gélinas, Mourad Badri,...
IJON
2007
88views more  IJON 2007»
15 years 3 months ago
Self-organisation can generate the discontinuities in the somatosensory map
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, ...
Tom Stafford, Stuart P. Wilson
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
15 years 3 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
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...
Vytautas Cyras
CE
2005
90views more  CE 2005»
15 years 3 months ago
Learning technologies: Affective and social issues in computer-supported collaborative learning
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...
Ann C. Jones, Kim Issroff