417 search results - page 49 / 84 » The Start of an Eiffel Standard |
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Emotion recognition grows to an important factor in future media retrieval and man machine interfaces. However, even human deciders often experience problems realizing one’s emo...
SYNASC
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
The process of authoring document-centric XML documents in humanities disciplines is very different from the approach espoused by the standard XML editing software with the data-c...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
Interactive drama is increasingly being used as a pedagogical tool in a wide variety of computer-based learning environments. However, the effort required to build interactive dram...
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...