Sciweavers

1805 search results - page 42 / 361
» Modelling SIGNAL in Interaction Categories
Sort
View
CSL
2005
Springer
14 years 1 months ago
Towards a Typed Geometry of Interaction
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
Esfandiar Haghverdi, Philip J. Scott
DAC
1994
ACM
13 years 11 months ago
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
Gjalt G. de Jong, Bill Lin
TCS
2002
13 years 7 months ago
Unsupervised learning in neural computation
In this article, we consider unsupervised learning from the point of view of applying neural computation on signal and data analysis problems. The article is an introductory surve...
Erkki Oja
ICSE
2008
IEEE-ACM
14 years 7 months ago
Benefits of interactive display environments in the software development process
Models become increasingly important for software development processes. Though there is a multitude of software modeling tools available, the handling of diagrams is still diffic...
Mathias Frisch, Raimund Dachselt
IHM
2009
ACM
14 years 2 months ago
Le mitigeur: principe de conception pour la mise en valeur des objectifs de l'utilisateur
This paper introduces a “design mixer” approach to usercentred interactive software design. This method overcomes the limits of a design process that favours the handling/mana...
Mathieu Petit, Meriam Horchani