5634 search results - page 368 / 1127 » About Abstract Classes |
157
click to vote
ACISP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We establish a framework for bounding the efficiency of cryptographic reductions in terms of their security transfer. While efficiency bounds for the reductions have been...
193
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
179
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Despite the importance of seamless connectivity in ubiquitous computing, research for seamless connectivity has not been considered properly. To provide seamless connecti...
196
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper presents an implemented model for priming speech recognition, using contextual information about salient entities. The underlying hypothesis is that, in human-r...
168
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Traditional benchmarking methods for information retrieval (IR) are based on experimental performance evaluation. Although the metrics precision and recall can measure the perform...