Sciweavers

42 search results - page 1 / 9
» Formalizing the transformations of a cognitive universe
Sort
View
DMCS
2003
13 years 6 months ago
Formalizing the transformations of a cognitive universe
N. Lafaye de Micheaux, G. Lopez, P. Vitiello, J. L...
WCRE
2000
IEEE
13 years 8 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
TLDI
2009
ACM
100views Formal Methods» more  TLDI 2009»
14 years 2 months ago
Typed transformations of typed abstract syntax
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
Arthur I. Baars, S. Doaitse Swierstra, Marcos Vier...
HCI
2009
13 years 3 months ago
Emotion Detection: Application of the Valence Arousal Space for Rapid Biological Usability Testing to Enhance Universal Access
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...
Christian Stickel, Martin Ebner, Silke Steinbach-N...
CANDC
2009
ACM
13 years 11 months ago
A sub-symbolic model of the cognitive processes of re-representation and insight
We present a sub-symbolic computational model for effecting knowledge re-representation and insight. Given a set of data, manifold learning is used to automatically organize the d...
Dan Ventura