Sciweavers

268 search results - page 34 / 54
» Recursion Theoretic Operators for Function Complexity Classe...
Sort
View
155
Voted
SIGMOD
2009
ACM
137views Database» more  SIGMOD 2009»
15 years 9 months ago
Robust and efficient algorithms for rank join evaluation
In the rank join problem we are given a relational join R1 1 R2 and a function that assigns numeric scores to the join tuples, and the goal is to return the tuples with the highes...
Jonathan Finger, Neoklis Polyzotis
100
Voted
WCC
2005
Springer
197views Cryptology» more  WCC 2005»
15 years 3 months ago
Linear Filtering of Nonlinear Shift-Register Sequences
Nonlinear n-stage feedback shift-register sequences over the finite field Fq of period qn − 1 are investigated under linear operations on sequences. We prove that all members o...
Berndt M. Gammel, Rainer Göttfert
70
Voted
MFCS
2007
Springer
15 years 3 months ago
Evolvability
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
Leslie G. Valiant
SIAMREV
2011
63views more  SIAMREV 2011»
14 years 13 days ago
Discrete Symbol Calculus
This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...
Laurent Demanet, Lexing Ying
ICCAD
1995
IEEE
127views Hardware» more  ICCAD 1995»
15 years 1 months ago
Hybrid decision diagrams
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao