Sciweavers

159 search results - page 32 / 32
» Appearance preserving octree-textures
Sort
View
FORMATS
2010
Springer
13 years 3 months ago
Layered Composition for Timed Automata
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
Ernst-Rüdiger Olderog, Mani Swaminathan
OR
2002
Springer
13 years 5 months ago
Copulae as a new tool in financial modelling
The paper presents an overview of financial applications of copulas. Copulas permit to represent joint distribution functions by splitting the marginal behavior, embedded in the ma...
Elisa Luciano, Marina Marena
ENTCS
2002
166views more  ENTCS 2002»
13 years 5 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
JMIV
1998
106views more  JMIV 1998»
13 years 5 months ago
Linear Scale-Space Theory from Physical Principles
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
Alfons H. Salden, Bart M. ter Haar Romeny, Max A. ...