1456 search results - page 161 / 292 » Two Techniques to Improve Finite Model Search |
CAV
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
WSDM
2010
ACM
14 years 5 months ago
2010
ACM
In addition to the actual content Web pages consist of navigational elements, templates, and advertisements. This boilerplate text typically is not related to the main content, ma...
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
—Fingerprint indexing is an efficient technique that greatly improves the performance of Automated Fingerprint Identification Systems. We propose a continuous fingerprint indexin...
CADE
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
In a Web database that dynamically provides information in response to user queries, two distinct schemas, interface schema (the schema users can query) and result schema (the sch...