Sciweavers

3145 search results - page 67 / 629
» Algebraic Linear Orderings
Sort
View
CCCG
2010
15 years 2 months ago
Combinatorial changes of euclidean minimum spanning tree of moving points in the plane
In this paper, we enumerate the number of combinatorial changes of the the Euclidean minimum spanning tree (EMST) of a set of n moving points in 2dimensional space. We assume that...
Zahed Rahmati, Alireza Zarei
133
Voted
ENTCS
2006
124views more  ENTCS 2006»
15 years 19 days ago
Generic Trace Theory
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
74
Voted
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 22 days ago
A finiteness structure on resource terms
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
Thomas Ehrhard
85
Voted
APIN
2005
87views more  APIN 2005»
15 years 16 days ago
Improving Parallel Ordering of Sparse Matrices Using Genetic Algorithms
In the direct solution of sparse symmetric and positive definite linear systems, finding an ordering of the matrix to minimize the height 1
Wen-Yang Lin
115
Voted
PKC
2010
Springer
210views Cryptology» more  PKC 2010»
15 years 4 months ago
Algebraic Cryptanalysis of the PKC'2009 Algebraic Surface Cryptosystem
Abstract. In this paper, we fully break the Algebraic Surface Cryptosystem (ASC for short) proposed at PKC’2009 [3]. This system is based on an unusual problem in multivariate cr...
Jean-Charles Faugère, Pierre-Jean Spaenleha...