2721 search results - page 420 / 545 » An experimental analysis of Lemke-Howson algorithm |
143
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
143
click to vote
FGR
2008
IEEE
15 years 11 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 ...
135
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Communications are increasingly relying on peer– to–peer models of interaction in which all participating entities have the same level of authority. Such models allow develo...
129
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a hierarchical lane detection system with the ability to deal with both structured and unstructured roads. The proposed system classifies the environment first...
127
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...