Sciweavers

550 search results - page 3 / 110
» pairing 2009
Sort
View
FROCOS
2009
Springer
13 years 12 months ago
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs
d abstract) Takahito Aoto† Toshiyuki Yamada‡
Takahito Aoto, Toshiyuki Yamada
CANS
2009
Springer
109views Cryptology» more  CANS 2009»
13 years 12 months ago
Multi-core Implementation of the Tate Pairing over Supersingular Elliptic Curves
This paper describes the design of a fast multi-core library for the cryptographic Tate pairing over supersingular elliptic curves. For the computation of the reduced modified Tat...
Jean-Luc Beuchat, Emmanuel López-Trejo, Lui...
ICMCS
2009
IEEE
102views Multimedia» more  ICMCS 2009»
13 years 3 months ago
Visual word pairs for automatic image annotation
The bag-of-visual-words is a popular representation for images that has proven to be quite effective for automatic annotation. In this paper, we extend this representation in orde...
Nicolas Hervé, Nozha Boujemaa
EMNLP
2009
13 years 3 months ago
Efficient kernels for sentence pair classification
In this paper, we propose a novel class of graphs, the tripartite directed acyclic graphs (tDAGs), to model first-order rule feature spaces for sentence pair classification. We in...
Fabio Massimo Zanzotto, Lorenzo Dell'Arciprete
LOPSTR
2009
Springer
13 years 12 months ago
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
José Iborra, Naoki Nishida, Germán V...