1730 search results - page 85 / 346 » Algebra and Computation |
100
Voted
ISVC
2010
Springer
14 years 11 months ago
2010
Springer
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...
142
Voted
TOG
2012
13 years 3 months ago
2012
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...
100
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
111
click to vote
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
84
Voted
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...