3771 search results - page 173 / 755 » Subobject Transformation Systems |
87
Voted
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
116
click to vote
AMDO
2006
Springer
15 years 7 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...
143
Voted
EUROPAR
2010
Springer
15 years 3 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...
117
Voted
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
106
Voted
DCG
2006
15 years 3 months ago
2006
This paper presents an algorithm to compute the value of the inverse Laplace transforms of rational functions with poles on arrangements of hyperplanes. As an application, we prese...