Sciweavers

982 search results - page 25 / 197
» Reduction Relations for Agent Models
Sort
View
103
Voted
B
2007
Springer
15 years 6 months ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...
105
Voted
AAAI
2011
14 years 20 days ago
Relational Blocking for Causal Discovery
Blocking is a technique commonly used in manual statistical analysis to account for confounding variables. However, blocking is not currently used in automated learning algorithms...
Matthew J. Rattigan, Marc E. Maier, David Jensen
103
Voted
TSMC
2002
110views more  TSMC 2002»
15 years 9 days ago
Complexity reduction for "large image" processing
We present a method for sampling feature vectors in large (e.g., 2000 5000 16 bit) images that finds subsets of pixel locations which represent "regions" in the image. Sa...
Nikhil R. Pal, James C. Bezdek
146
Voted
AMKM
2003
Springer
15 years 5 months ago
Modeling Context-Aware Distributed Knowledge
This paper presents a multi-agent model to support decisionmaking in organizations. The model is characterized by being interactive, distributed, and incremental and by the use of...
Jorge Louçã
124
Voted
ICASSP
2008
IEEE
15 years 7 months ago
Temporal masking for bit-rate reduction in audio codec based on Frequency Domain Linear Prediction
Audio coding based on Frequency Domain Linear Prediction (FDLP) uses auto-regressive model to approximate Hilbert envelopes in frequency sub-bands for relatively long temporal seg...
Sriram Ganapathy, Petr Motlícek, Hynek Herm...