823 search results - page 86 / 165 » Stateful Subset Cover |
SNPD
2008
13 years 11 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
ACL
1998
13 years 11 months ago
1998
Word graphs are able to represent a large number of different utterance hypotheses in a very compact manner. However, usually they contain a huge amount of redundancy in terms of ...
CAISE
2008
Springer
13 years 11 months ago
2008
Springer
Analogous to Computer-Aided Software Engineering (CASE), which aims to facilitate Software Engineering through specialized tools, ComputerAided Method Engineering (CAME) strives to...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
High quality is one of the critical elements contributing to Web service’s success. Monitoring events that are sensitive to quality of Web services is thus an important issue fo...
CVIU
2008
13 years 10 months ago
2008
This survey covers the historical development and current state of the art in image understanding for iris biometrics. Most research publications can be categorized as making thei...