4581 search results - page 216 / 917 » Computing Transformation Semigroups |
151
click to vote
VLSID
1994
IEEE
15 years 10 months ago
1994
IEEE
A CORDIC based processor array which can be programmed by switch settings to compute the Discrete Hariley, Cosine or Sine lhnsforms or their inverses is described. Through a novel...
150
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
We prove confluence of two cut-elimination procedures for the implicational fragment of a standard intuitionistic sequent calculus. One of the cut-elimination procedures uses globa...
153
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
We present a method to extract principal deformation modes from a set of articulated models describing the human spine. The spine was expressed as a set of rigid transforms that su...
188
click to vote
FMOODS
2003
15 years 8 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
189
click to vote
EUROPAR
2010
Springer
15 years 6 months ago
2010
Springer
Large and complex systems of ordinary differential equations (ODEs) arise in diverse areas of science and engineering, and pose special challenges on a streaming processor owing to...