Sciweavers

1863 search results - page 110 / 373
» Unifying Theories of Objects
Sort
View
CORR
2006
Springer
96views Education» more  CORR 2006»
13 years 9 months ago
Metric entropy in competitive on-line prediction
Competitive on-line prediction (also known as universal prediction of individual sequences) is a strand of learning theory avoiding making any stochastic assumptions about the way...
Vladimir Vovk
ENTCS
2006
142views more  ENTCS 2006»
13 years 9 months ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu
JUCS
2006
117views more  JUCS 2006»
13 years 9 months ago
A Structure Causality Relation for Liveness Characterisation in Petri Nets
: Characterising liveness using a structure based approach is a key issue in theory of Petri nets. In this paper, we introduce a structure causality relation from which a topologic...
Belhassen Zouari
TIT
2002
88views more  TIT 2002»
13 years 8 months ago
Duality between channel capacity and rate distortion with two-sided state information
We show that the duality between channel capacity and data compression is retained when state information is available to the sender, to the receiver, to both, or to neither. We pr...
Thomas M. Cover, Mung Chiang
PAMI
2010
146views more  PAMI 2010»
13 years 7 months ago
A Generalized Kernel Consensus-Based Robust Estimator
In this paper, we present a new Adaptive Scale Kernel Consensus (ASKC) robust estimator as a generalization of the popular and state-of-the-art robust estimators such as RANSAC (R...
Hanzi Wang, Daniel Mirota, Gregory D. Hager