2608 search results - page 38 / 522 » Subjects, Models, Languages, Transformations |
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
WWW
2003
ACM
16 years 15 days ago
2003
ACM
Time-based, media-centric Web presentations can be described declaratively in the XML world through the development of languages such as SMIL. It is difficult, however, to fully i...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
The use of speaker adaptation transforms as features for speaker recognition is an appealing alternative to conventional short-term cepstral features. In general, this kind of met...
FLAIRS
2006
15 years 1 months ago
2006
A natural language generation system must generate expressions that allow a reader to identify the entities to which they refer. This paper describes the creation of referring-exp...