892 search results - page 69 / 179 » An efficient terminal and model order reduction algorithm |
119
Voted
GRAPHITE
2007
ACM
15 years 6 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...
139
Voted
COMPSEC
2010
15 years 2 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...
116
Voted
FSTTCS
2010
Springer
15 years 24 days 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...
121
Voted
ASPDAC
2005
ACM
15 years 4 months 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...
114
Voted
DEDS
2006
15 years 2 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...