373 search results - page 34 / 75 » Synthesis of Trigger Properties |
ATVA
2007
Springer
14 years 4 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
We present an analytical approach targeting the physical reproduction of sound fields by means of linear distributions loudspeakers. Unlike with conventional analytical approache...
CVPR
2005
IEEE
13 years 12 months ago
2005
IEEE
Understanding and modifying the effects of arbitrary illumination on human faces in a realistic manner is a challenging problem both for face synthesis and recognition. Recent res...
NEUROSCIENCE
2001
Springer
14 years 2 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
ICIP
1995
IEEE
14 years 1 months ago
1995
IEEE
This paper develops an error bound for narrow bandwidth Gabor filters synthesized using multiple stages. It is shown that the error introduced by approximating narrow bandwidth Ga...