Sciweavers

12742 search results - page 2209 / 2549
» On canonical number systems
Sort
View
MLQ
1998
126views more  MLQ 1998»
15 years 6 months ago
Reverse Mathematics and Recursive Graph Theory
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theor...
William I. Gasarch, Jeffry L. Hirst
MTA
1998
92views more  MTA 1998»
15 years 6 months ago
Dynamic Video Playout Smoothing Method for Multimedia Applications
: Multimedia applications including video data require the smoothing of video playout to prevent potential playout discontinuity.In this paper, we propose a dynamicvideo playout sm...
Maria C. Yuang, Shih T. Liang, Yu G. Chen
NETWORKS
2002
15 years 6 months ago
Isomorphisms of the De Bruijn digraph and free-space optical networks
The de Bruijn digraph B(d, D) has degree d, diameter D, dD vertices and dD+1 arcs. It is usually defined by words of size D on an alphabet of cardinality d, through a cyclic left ...
David Coudert, Afonso Ferreira, Stephane Perennes
RC
2002
100views more  RC 2002»
15 years 6 months ago
Efficient Interval Linear Equality Solving in Constraint Logic Programming
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
Chong-Kan Chiu, Jimmy Ho-Man Lee
RC
2002
72views more  RC 2002»
15 years 6 months ago
Symbolic Preconditioning with Taylor Models: Some Examples
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
R. Baker Kearfott, G. William Walster
« Prev « First page 2209 / 2549 Last » Next »