15644 search results - page 2742 / 3129 » Brittle System Analysis |
196
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
177
click to vote
CC
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
179
click to vote
CEAS
2004
Springer
16 years 6 days ago
2004
Springer
: We describe methods for automatically identifying signature blocks and reply lines in plaintext email messages. This analysis has many potential applications, such as preprocessi...
187
click to vote
CIARP
2004
Springer
16 years 6 days ago
2004
Springer
The interpretation by a human of a scene in video material is heavily influenced by the context of the scene. As a result, researchers have recently made more use of context in th...
172
click to vote
CIKM
2004
Springer
16 years 6 days ago
2004
Springer
An important class of queries is the LIKE predicate in SQL. In the absence of an index, LIKE queries are subject to performance degradation. The notion of indexing on substrings (...