6045 search results - page 1055 / 1209 » Computable Linearizations of Well-partial-orderings |
ENTCS
2006
13 years 9 months ago
2006
This paper extends the domain theoretic method for solving initial value problems, described in [8], to unbounded vector fields. Based on a sequence of approximations of the vecto...
ENTCS
2006
13 years 9 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
ET
2006
13 years 9 months ago
2006
Recent years have seen the emergence of dropletbased microfluidic systems for safety-critical biomedical applications. In order to ensure reliability, microsystems incorporating m...
CGF
2007
13 years 9 months ago
2007
Geometric constraints have proved to be efficient for enhancing the realism of shape animation. The present paper addresses the computation and the preservation of the volume enc...
IJVR
2008
13 years 9 months ago
2008
Simulations utilizing virtual humans, or computer controlled agents, are more predominant now than ever. Many of these simulations suffer from a lack of effective, stimulating, and...