18155 search results - page 94 / 3631 » Point |
116
click to vote
CADE
2002
Springer
16 years 1 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
198
click to vote
AICT
2009
IEEE
15 years 8 months ago
2009
IEEE
Unlike other wireless technologies, the deployment of 802.11 networks is not limited to operators: access points can easily be installed by end-users for domestic use. This singul...
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE
Image registration is crucial for various image analysis tasks. In particular, most approaches to correction of bleed-through distortion on handwritten document images require the...
120
click to vote
ISCC
2009
IEEE
15 years 8 months ago
2009
IEEE
— A well-known approach to increase the resilience of mobile ad hoc networks (MANETs) and unstructured sensor networks is to ensure a network topology where there are at least k ...
115
click to vote
VTS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, a novel test point insertion methodology is presented for RTL designs that aims to reduce the data volume of scan-based transition delay tests. Test points are iden...