892 search results - page 69 / 179 » An efficient terminal and model order reduction algorithm |
GRAPHITE
2007
ACM
14 years 2 months ago
2007
ACM
We present a data-driven technique for generating the precomputed radiance transfer vectors of an animated character as a function of its joint angles. We learn a linear model for...
COMPSEC
2010
13 years 10 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
FSTTCS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
ASPDAC
2005
ACM
14 years 4 days ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
DEDS
2006
13 years 10 months ago
2006
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...