832 search results - page 3 / 167 » Characteristic Patterns for LTL |
ENTCS
2007
13 years 5 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
EWSA
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, we present a pattern-based software development method that preserves usability and security quality characteristics using a role-driven mapping of requirements anal...
MCS
2001
Springer
13 years 10 months ago
2001
Springer
Genetic programming (GP) can automatically fuse given classifiers of diverse types to produce a combined classifier whose Receiver Operating Characteristics (ROC) are better than...
SC
1995
ACM
13 years 9 months ago
1995
ACM
Rapid increases in computing and communication performance are exacerbating the long-standing problem of performance-limited input/output. Indeed, for many otherwise scalable para...
RSFDGRC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Discovering diverse individual accessing behaviors in web environment is required before mining the valuable patterns from behaviors of groups of visitors. In this paper,...