Sciweavers

1301 search results - page 145 / 261
» Bounded Version Vectors
Sort
View
GMP
2006
IEEE
137views Solid Modeling» more  GMP 2006»
14 years 4 months ago
Theoretically Based Robust Algorithms for Tracking Intersection Curves of Two Deforming Parametric Surfaces
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
Xianming Chen, Richard F. Riesenfeld, Elaine Cohen...
COMPGEOM
1996
ACM
14 years 2 months ago
On the Number of Arrangements of Pseudolines
Given a simple arrangementof n pseudolines in the Euclidean plane, associate with line i the list i of the lines crossing i in the order of the crossings on line i. i = ( i 1; i 2;...
Stefan Felsner
IWFM
2003
172views Formal Methods» more  IWFM 2003»
14 years 4 days ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
IPCO
1996
104views Optimization» more  IPCO 1996»
14 years 2 days ago
An Optimal, Stable Continued Fraction Algorithm
We analyse a continued fraction algorithm (abbreviated CFA) for arbitrary dimension n showing that it produces simultaneous diophantine approximations which are up to the factor 2(...
Carsten Rössner, Claus-Peter Schnorr
CORR
2006
Springer
145views Education» more  CORR 2006»
13 years 10 months ago
MIMO Broadcast Channels with Block Diagonalization and Finite Rate Feedback
Block diagonalization is a linear precoding technique for the multiple antenna broadcast (downlink) channel that involves transmission of multiple data streams to each receiver su...
Niranjay Ravindran, Nihar Jindal