2148 search results - page 220 / 430 » Responsiveness in Process Calculi |
IV
2006
IEEE
15 years 5 months ago
2006
IEEE
In today’s applications data is produced at unprecedented rates. While the capacity to collect and store new data rapidly grows, the ability to analyze these data volumes increa...
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
Auction mechanism design has traditionally been a largely analytic process, relying on assumptions such as fully rational bidders. In practice, however, bidders often exhibit unkn...
KCAP
2005
ACM
15 years 4 months ago
2005
ACM
Extensive and deep paraphrase corpora are important for a variety of natural language processing and user interaction tasks. In this paper, we present an approach which i) collect...
CAISE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...
ICDAR
2003
IEEE
15 years 4 months ago
2003
IEEE
We propose an HMM-based text-indicated writer verification method, which is based on a challenge and response type of authentication process. In this method, a different text incl...