Sciweavers

19866 search results - page 181 / 3974
» Computing all factorizations in ***
Sort
View
CONCUR
2010
Springer
15 years 7 months ago
A Geometric Approach to the Problem of Unique Decomposition of Processes
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...
Thibaut Balabonski, Emmanuel Haucourt
LATA
2009
Springer
16 years 1 months ago
On a Family of Morphic Images of Arnoux-Rauzy Words
Abstract. In this paper we prove the following result. Let s be an infinite word on a finite alphabet, and N ≥ 0 be an integer. Suppose that all left special factors of s longe...
Michelangelo Bucci, Alessandro De Luca
ECCV
2006
Springer
16 years 8 months ago
Incorporating Non-motion Cues into 3D Motion Segmentation
We address the problem of segmenting an image sequence into rigidly moving 3D objects. An elegant solution to this problem is the multibody factorization approach in which the mea...
Amit Gruber, Yair Weiss
ICS
2011
Tsinghua U.
14 years 10 months ago
High performance linpack benchmark: a fault tolerant implementation without checkpointing
The probability that a failure will occur before the end of the computation increases as the number of processors used in a high performance computing application increases. For l...
Teresa Davies, Christer Karlsson, Hui Liu, Chong D...
GECCO
2010
Springer
191views Optimization» more  GECCO 2010»
15 years 11 months ago
Initialization parameter sweep in ATHENA: optimizing neural networks for detecting gene-gene interactions in the presence of sma
Recent advances in genotyping technology have led to the generation of an enormous quantity of genetic data. Traditional methods of statistical analysis have proved insufficient i...
Emily Rose Holzinger, Carrie C. Buchanan, Scott M....