756 search results - page 43 / 152 » Leveraging the CAPTCHA Problem |
FC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Users are often forced to trust potentially malicious terminals when trying to interact with a remote secure system. This paper presents an approach for ensuring the inte...
ECLIPSE
2004
ACM
14 years 2 months ago
2004
ACM
Software engineering education is most often complemented by a software engineering project where a team of students has to develop a large software system. At a distance teaching...
EKAW
2004
Springer
14 years 2 months ago
2004
Springer
The exploration of large information spaces is a difficult task, especially if the user is not familiar with the terminology used to describe information. Conceptual models of a do...
LPAR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we show that under the constant delay model the placement problem is equivalent to minimizing a weighted sum of wire lengths. The weights can be efficiently compute...