5084 search results - page 775 / 1017 » Proving Possibility Properties |
150
click to vote
ANSS
2005
IEEE
16 years 7 days ago
2005
IEEE
The Internet is a large, complex, heterogeneous system operating at very high speeds and consisting of a large number of users. Researchers use a suite of tools and techniques in ...
184
click to vote
ASYNC
2005
IEEE
16 years 7 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
174
click to vote
AVSS
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper, a hybrid technique for face detection in color images is presented. The proposed technique combines three analysis models, namely skin detection, automatic eye loca...
185
click to vote
CVPR
2005
IEEE
16 years 7 days ago
2005
IEEE
With the aim to design a general learning framework for detecting faces of various poses or under different lighting conditions, we are motivated to formulate the task as a classi...
179
Voted
ENC
2005
IEEE
16 years 7 days ago
2005
IEEE
— Recent advances in communication networks and cryptographic techniques have made possible to consider online voting systems as a feasible alternative to conventional elections....