Sciweavers

1580 search results - page 278 / 316
» Modules for Crosscutting Models
Sort
View
ERLANG
2008
ACM
13 years 10 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
ESORICS
2008
Springer
13 years 10 months ago
On the Security of Delegation in Access Control Systems
Delegation is a mechanism that allows a user A to act on another user B's behalf by making B's access rights available to A. It is well recognized as an important mechani...
Qihua Wang, Ninghui Li, Hong Chen
LREC
2010
225views Education» more  LREC 2010»
13 years 10 months ago
The Architecture of FunGramKB
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...
Carlos Periñán-Pascual, Francisco Ar...
ICONIP
2008
13 years 10 months ago
A Novel Approach for Hardware Based Sound Classification
Several applications would emerge from the development of efficient and robust sound classification systems able to identify the nature of non-speech sound sources. This paper prop...
Mauricio Kugler, Victor Alberto Parcianello Benso,...
LREC
2008
128views Education» more  LREC 2008»
13 years 10 months ago
On the Role of the NIMITEK Corpus in Developing an Emotion Adaptive Spoken Dialogue System
This paper reports on the creation of the multimodal NIMITEK corpus of affected behavior in human-machine interaction and its role in the development of the NIMITEK prototype syst...
Milan Gnjatovic, Dietmar Rösner