846 search results - page 127 / 170 » The Use of Z |
ICFEM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
ICIP
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper addresses the reconstruction of 3 0 human body models fram Z D video sequences. Considering that the input frames are already segmented, the proposed technique consists...
EVOW
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. A study on a 220-piece corpus (baroque, classical, romantic, 12tone, jazz, rock, DNA strings, and random music) reveals that aesthetically pleasing music may be describab...
HAPTICS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper investigates the problem of perceived instability during haptic texture rendering. We focus on the perceptual analysis of the stability of textured surfaces rendered wi...