Sciweavers

923 search results - page 133 / 185
» On a generalization of Stickelberger's Theorem
Sort
View
DCG
2006
127views more  DCG 2006»
14 years 12 months ago
The Angle Defect for Odd-Dimensional Simplicial Manifolds
In a 1967 paper, Banchoff stated that a certain type of polyhedral curvature, that applies to all finite polyhedra, was zero at all vertices of an odd-dimensional polyhedral manifo...
Ethan D. Bloch
IANDC
2006
103views more  IANDC 2006»
14 years 12 months ago
Bisimulation and cocongruence for probabilistic systems
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
Vincent Danos, Josee Desharnais, François L...
JANCL
2008
170views more  JANCL 2008»
14 years 12 months ago
Algorithmic correspondence and completeness in modal logic
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
Willem Conradie, Valentin Goranko
CORR
2007
Springer
97views Education» more  CORR 2007»
14 years 12 months ago
Estimation of the Rate-Distortion Function
—Motivated by questions in lossy data compression and by theoretical considerations, the problem of estimating the rate-distortion function of an unknown (not necessarily discret...
Matthew T. Harrison, Ioannis Kontoyiannis
CORR
2007
Springer
133views Education» more  CORR 2007»
14 years 12 months ago
The price of ignorance: The impact of side-information on delay for lossless source-coding
Inspired by the context of compressing encrypted sources, this paper considers the general tradeoff between rate, end-to-end delay, and probability of error for lossless source co...
Cheng Chang, Anant Sahai