Sciweavers

107 search results - page 7 / 22
» Counting with rational generating functions
Sort
View
TCS
2008
13 years 8 months ago
Generalized approximate counting revisited
A large class of q-distributions is defined on the stochastic model of Bernoulli trials in which the probability of success (=advancing to the next level) depends geometrically on...
Guy Louchard, Helmut Prodinger
COMBINATORICS
2007
68views more  COMBINATORICS 2007»
13 years 8 months ago
Compositions of Graphs Revisited
The idea of graph compositions, which was introduced by A. Knopfmacher and M. E. Mays, generalizes both ordinary compositions of positive integers and partitions of finite sets. ...
Aminul Huq
TACAS
2010
Springer
146views Algorithms» more  TACAS 2010»
14 years 3 months ago
Ranking Function Synthesis for Bit-Vector Relations
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
Byron Cook, Daniel Kroening, Philipp Rümmer, ...
ICASSP
2011
IEEE
13 years 10 days ago
A novel analytical approach to orthogonal bases extraction from AM-FM signals
This paper presents a new method for extracting orthogonal bases from AM-FM signals. Since AM-FM signals are non-stationary, appropriate basis functions are sought provided that i...
Mohammadali Sebghati, Hamidreza Amindavar
INFOCOM
2012
IEEE
11 years 11 months ago
FlowSifter: A counting automata approach to layer 7 field extraction for deep flow inspection
Abstract—In this paper, we introduce FlowSifter, a systematic framework for online application protocol field extraction. FlowSifter introduces a new grammar model Counting Regu...
Chad R. Meiners, Eric Norige, Alex X. Liu, Eric To...