Sciweavers

4961 search results - page 193 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
212
Voted
FPL
2011
Springer
233views Hardware» more  FPL 2011»
14 years 3 months ago
Compact CLEFIA Implementation on FPGAS
In this paper two compact hardware structures for the computation of the CLEFIA encryption algorithm are presented. One structure based on the existing state of the art and a nove...
Paulo Proenca, Ricardo Chaves
122
Voted
CSL
2006
Springer
15 years 7 months ago
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
Lukasz Kaiser
COLING
2010
14 years 10 months ago
A Utility-Driven Approach to Question Ranking in Social QA
We generalize the task of finding question paraphrases in a question repository to a novel formulation in which known questions are ranked based on their utility to a new, referen...
Razvan C. Bunescu, Yunfeng Huang
JCB
2006
126views more  JCB 2006»
15 years 3 months ago
Combinatorics of Saturated Secondary Structures of RNA
Following Zuker (1986), a saturated secondary structure for a given RNA sequence is a secondary structure such that no base pair can be added without violating the definition of s...
P. Clote
219
Voted
VLDB
2006
ACM
203views Database» more  VLDB 2006»
16 years 3 months ago
The CQL continuous query language: semantic foundations and query execution
CQL, a Continuous Query Language, is supported by the STREAM prototype Data Stream Management System at Stanford. CQL is an expressive SQL-based declarative language for registeri...
Arvind Arasu, Shivnath Babu, Jennifer Widom