Sciweavers

1117 search results - page 75 / 224
» Equivalent Representations of Set Functions
Sort
View
LICS
2010
IEEE
14 years 7 months ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius
DCC
2011
IEEE
14 years 4 months ago
Collaboration in Distributed Hypothesis Testing with Quantized Prior Probabilities
The effect of quantization of prior probabilities in a collection of distributed Bayesian binary hypothesis testing problems over which the priors themselves vary is studied. In ...
Joong Bum Rhim, Lav R. Varshney, Vivek K. Goyal
SEFM
2003
IEEE
15 years 3 months ago
From Requirements to Design: Formalizing the Key Steps
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
R. Geoff Dromey
SAGT
2009
Springer
177views Game Theory» more  SAGT 2009»
15 years 4 months ago
Characterizing Incentive Compatibility for Convex Valuations
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...
André Berger, Rudolf Müller, Seyed Hos...
KDD
2010
ACM
223views Data Mining» more  KDD 2010»
15 years 1 months ago
Frequent regular itemset mining
Concise representations of frequent itemsets sacrifice readability and direct interpretability by a data analyst of the concise patterns extracted. In this paper, we introduce an...
Salvatore Ruggieri