7393 search results - page 1192 / 1479 » Synthesis-for-testability using transformations |
126
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
123
click to vote
EDOC
2008
IEEE
15 years 10 months ago
2008
IEEE
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...
137
click to vote
FGR
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we focus on the reliable detection of facial fiducial points, such as eye, eyebrow and mouth corners. The proposed algorithm aims to improve automatic landmarking ...
133
click to vote
FOCS
2008
IEEE
15 years 10 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
146
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper develops a mechanism for detecting session hijacking attacks in wireless networks. The proposed scheme is based on detecting abrupt changes in the strength of the re...