83 search results - page 12 / 17 » Minimization Algorithm for Symbolic Bisimilarity |
COMGEO
2010
ACM
13 years 7 months ago
2010
ACM
: We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f Q[x,y,z] of arbitrary total degree N. Additionally, our analy...
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
AOSD
2010
ACM
14 years 2 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— We consider spatially multiplexed MIMO transmission in the presence of co-channel interference with subset transmit antenna selection. Several algorithms for antenna se...
ICCAD
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper presents a novel approach for post-mapping optimization. We exploit the concept of generalized matching, a technique that nds symbolically all possible matching assignm...