1633 search results - page 262 / 327 » On the Verification of Temporal Properties |
ECSA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
LREC
2008
15 years 1 months ago
2008
Speaker identification and verification systems have a poor performance when model training is done in one language while the testing is done in another. This situation is not unu...
120
click to vote
BIOSIG
2003
15 years 1 months ago
2003
: Speaker recognition in applications of our daily lives is not yet in widespread use. In order for biometric technology to make sense for real-world authentication applications an...
IJCAI
1997
15 years 1 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
LDTA
2010
15 years 2 days ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...