6800 search results - page 1129 / 1360 » Testing with Functions as Specifications |
CIKM
2006
Springer
14 years 3 days ago
2006
Springer
Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation. Although several algorit...
CLEF
2006
Springer
14 years 3 days ago
2006
Springer
In this paper we present the use of a "general purpose" textual entaiment recognizer in the Answer Validation Exercise (AVE) task. Our system has been developed to learn...
ECOWS
2006
Springer
14 years 1 days ago
2006
Springer
Interoperability in a large-scale distributed system is challenged by by the diversity of node policies. We introduce AMPol (Adaptive Messaging Policy), a serviceoriented architec...
ENC
2006
IEEE
14 years 1 days ago
2006
IEEE
In this work, by using the local node refinement technique purposed in [2, 1], and a quad-tree type algorithm [3, 13], we built a global refinement technique for Kansa's unsy...
EUROCRYPT
2006
Springer
14 years 1 days ago
2006
Springer
Abstract. We present an asymptotically optimal reduction of one-outof-two String Oblivious Transfer to one-out-of-two Bit Oblivious Transfer using Interactive Hashing in conjunctio...