Sciweavers

676 search results - page 12 / 136
» A theory of aspects
Sort
View
BSL
2004
100views more  BSL 2004»
13 years 9 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
CE
2007
99views more  CE 2007»
13 years 9 months ago
Contextual learning theory: Concrete form and a software prototype to improve early education
In Ôcontextual learning theoryÕ three types of contextual conditions (differentiation of learning procedures and materials, integrated ICT support, and improvement of developme...
Ton Mooij
ICIAP
1997
ACM
14 years 2 months ago
Dynamic Scale-Space Theories
Image formation of a two-dimensional input image can be quantified by imposing an image induced connection and computing the associated torsion and curvature. The latter aspects of...
Alfons H. Salden
AGI
2008
13 years 11 months ago
Anticipative coordinated cognitive processes for interactivist and Piagetian theories
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
Jean-Charles Quinton, Jean-Christophe Buisson, Fil...
HICSS
2005
IEEE
134views Biometrics» more  HICSS 2005»
14 years 3 months ago
Virtual Organizations as Normative Multiagent Systems
In this paper we propose a conceptual model of virtual organizations as normative multiagent systems. The dynamic aspects of virtual organizations are modeled using aspects of spe...
Guido Boella, Joris Hulstijn, Leendert W. N. van d...