266 search results - page 12 / 54 » UML2Alloy: A Challenging Model Transformation |
IJMMS
2007
13 years 9 months ago
2007
The popularity of computer games has exploded in recent years, yet methods of evaluating user emotional state during play experiences lag far behind. There are few methods of asse...
LCPC
2005
Springer
14 years 3 months ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
FLAIRS
2007
14 years 4 days ago
2007
This paper explores an inferential system for recognizing visual patterns. The system is inspired by a recent memoryprediction theory and models the high-level architecture of the...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In voice analysis, the parameters estimation of a glottal model, an analytic description of the deterministic component of the glottal source, is a challenging question to assess ...
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...