34 search results - page 6 / 7 » Classical Program Extraction in the Calculus of Construction... |
UM
2007
Springer
13 years 12 months ago
2007
Springer
A physiological signal based emotion recognition method, for the assessment of three emotional classes: happiness, disgust and fear, is presented. Our approach consists of four ste...
PLPV
2010
ACM
14 years 2 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
PLDI
2003
ACM
13 years 11 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
ICA3PP
2005
Springer
13 years 11 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
SCP
2010
13 years 4 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...