2239 search results - page 191 / 448 » Computing with abstract matrix structures |
106
Voted
STACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper solves the unambiguity and the sequentiality problem for polynomially ambiguous min-plus automata. This result is proved through a decidable algebraic characte...
109
Voted
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
140
Voted
GD
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this paper, we present an object-oriented design and implementation of the core steps of the giotto algorithm for orthogonal graph drawing. Our design is motivated by ...
127
click to vote
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
We introduce an iterative algorithm for shape reconstruction from multiple images of a moving (Lambertian) object illuminated by distant (and possibly time varying) lighting. Star...
142
Voted
RECOMB
2003
Springer
16 years 3 months ago
2003
Springer
The availability of whole genome sequences and high-throughput genomic assays opens the door for in silico analysis of transcription regulation. This includes methods for discover...