462 search results - page 10 / 93 » Symbolic Bounded Synthesis |
105
click to vote
ICIP
1995
IEEE
15 years 3 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...
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper addresses two problems related to disjointsupport decomposition of Boolean functions. First, we present a heuristic for finding a subset of variables, X, which results...
GLVLSI
2003
IEEE
15 years 5 months ago
2003
IEEE
TODAES
1998
14 years 11 months ago
1998
FMICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response