1064 search results - page 3 / 213 » Neuro-Wavelet Parametric Modeling |
WSCG
2001
13 years 8 months ago
2001
In computer graphics and engineering many classes of complex objects can be designed with L-systems. We present a concept for enhancing timed and parametric L-systems with physics...
CAV
2010
Springer
13 years 4 months ago
2010
Springer
FUIN
2010
13 years 4 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
INFSOF
2006
13 years 7 months ago
2006
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...
APLAS
2005
ACM
13 years 9 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...