601 search results - page 98 / 121 » Simulation vs. Equivalence |
ICALP
2000
Springer
14 years 22 days ago
2000
Springer
Abstract. Tree-walking automata (TWAs) recently received new attention in the fields of formal languages and databases. Towards a better understanding of their expressiveness, we c...
GLOBECOM
2009
IEEE
14 years 11 days ago
2009
IEEE
— It is well known that the performance of adaptive beamformers may degrade in the presence of steering errors. In this context, diagonal loading is one of the most popular metho...
ICPR
2010
IEEE
14 years 7 days ago
2010
IEEE
In the biometric verification, authentication is given when a distance of biometric signatures between enrollment and test phases is less than an acceptance threshold, and the perf...
CHARME
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
CSL
2008
Springer
13 years 11 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...