3318 search results - page 437 / 664 » The Weak Instance Model |
166
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the development of high speed circuits beyond the 2-GHz mark, the significance of automatic test pattern generation for Path Delay Faults (PDFs) drastically increased in t...
151
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
144
click to vote
COCOA
2007
Springer
15 years 10 months ago
2007
Springer
The Two-Sided Crossing Minimization (TSCM) problem calls for minimizing the number of edge crossings of a bipartite graph where the two sets of vertices are drawn on two parallel l...
113
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Ontology-based approaches to situation awareness have gained increasing popularity in recent years. However, most current approaches face two inherent problems. First, they lack su...
127
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Many applications in information retrieval, natural language processing, data mining, and related fields require a ranking of instances with respect to a specified criteria as op...