Sciweavers

3863 search results - page 180 / 773
» Function in Device Representation
Sort
View
ALGORITHMICA
1998
90views more  ALGORITHMICA 1998»
15 years 3 months ago
Dynamics of the Binary Euclidean Algorithm: Functional Analysis and Operators
We provide here a complete average-case analysis of the binary continued fraction representation of a random rational whose numerator and denominator are odd and less than N. We an...
Brigitte Vallée
CC
2010
Springer
282views System Software» more  CC 2010»
15 years 2 months ago
Lower Bounds on the Randomized Communication Complexity of Read-Once Functions
Abstract. We prove lower bounds on the randomized two-party communication complexity of functions that arise from read-once boolean formulae. A read-once boolean formula is a formu...
Nikos Leonardos, Michael Saks
TSMC
2011
258views more  TSMC 2011»
14 years 11 months ago
Cross-Entropy Optimization of Control Policies With Adaptive Basis Functions
—This paper introduces an algorithm for direct search of control policies in continuous-state discrete-action Markov decision processes. The algorithm looks for the best closed-l...
Lucian Busoniu, Damien Ernst, Bart De Schutter, Ro...
ICASSP
2011
IEEE
14 years 7 months ago
Jump Function Kolmogorov for overlapping audio event classification
This paper presents a novel method for audio event classi cation in overlapping conditions. The method is based on Jump Function Kolmogorov (JFK), a stochastic representation, whi...
Tran Huy Dat, Haizhou Li
DAC
2003
ACM
16 years 5 months ago
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Br...