Sciweavers

1390 search results - page 108 / 278
» On the Algebraic Structure of Convergence
Sort
View
ENTCS
2006
137views more  ENTCS 2006»
15 years 6 months ago
Coinductive Field of Exact Real Numbers and General Corecursion
In this article we present a method to define algebraic structure (field operations) on a representation of real numbers by coinductive streams. The field operations will be given...
Milad Niqui
JUCS
2007
99views more  JUCS 2007»
15 years 6 months ago
Metric-Entropy Pairs on Lattices
Abstract: We introduce the notion of ∧- and ∨-pairs of functions on lattices as an abstraction of the notions of metric and its related entropy for probability distributions. T...
Dan A. Simovici
CORR
2002
Springer
118views Education» more  CORR 2002»
15 years 6 months ago
Instabilities of Robot Motion
Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its...
Michael Farber
POPL
2006
ACM
16 years 6 months ago
Polymorphic regular tree types and patterns
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
Jerome Vouillon
ICC
2007
IEEE
16 years 23 days ago
New UWB Receiver Designs Based on a Gaussian-Laplacian Noise-Plus-MAI Model
—Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. Th...
Norman C. Beaulieu, Somasundaram Niranjayan