18155 search results - page 94 / 3631 » Point |
127
click to vote
CADE
2002
Springer
16 years 3 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...
210
click to vote
AICT
2009
IEEE
15 years 10 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...
112
click to vote
ICDAR
2009
IEEE
15 years 9 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...
132
click to vote
ISCC
2009
IEEE
15 years 9 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 ...
126
click to vote
VTS
2007
IEEE
15 years 9 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...