Sciweavers

5210 search results - page 258 / 1042
» Exact geometric computation
Sort
View
LCPC
2001
Springer
15 years 11 months ago
Computing Array Shapes in MATLAB
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
Pramod G. Joisha, U. Nagaraj Shenoy, Prithviraj Ba...
PEPM
2009
ACM
16 years 3 months ago
Linear logical approximations
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
Robert J. Simmons, Frank Pfenning
IWCMC
2006
ACM
16 years 18 days ago
SINR analysis for V-BLAST with ordered MMSE-SIC detection
A new way to determine the exact layer-wise SINR distribution for V-BLAST with successive interference cancellation at the receiver is presented. In contrast to previous publicati...
Ronald Böhnke, Karl-Dirk Kammeyer
COCOON
2005
Springer
16 years 5 days ago
Algorithms for Finding Distance-Edge-Colorings of Graphs
For a bounded integer , we wish to color all edges of a graph G so that any two edges within distance have different colors. Such a coloring is called a distance-edge-coloring or ...
Takehiro Ito, Akira Kato, Xiao Zhou, Takao Nishize...
DGCI
2005
Springer
16 years 5 days ago
Discrete Bisector Function and Euclidean Skeleton
Abstract. In this paper, we propose a new definition and an exact algorithm for the discrete bisector function, which is an important tool for analyzing and filtering Euclidean s...
Michel Couprie, Rita Zrour