Sciweavers

253 search results - page 15 / 51
» The Sketching Complexity of Pattern Matching
Sort
View
GREC
2007
Springer
14 years 1 months ago
ARG Based on Arcs and Segments to Improve the Symbol Recognition by Genetic Algorithm
In this paper a genetic matching scheme is extended to take into account primitive arcs and complex description in the pattern recognition process. Classical ways only focus on seg...
J.-P. Salmon, Laurent Wendling
AUTOID
2005
IEEE
14 years 3 months ago
Impedance Matching Concepts in RFID Transponder Design
In this paper, we analyze impedance matching concepts in passive radio frequency identification (RFID) transponders, which are powered by the incoming RF energy and consist of an...
K. V. S. Rao, Pavel V. Nikitin, Sander F. Lam
TCS
2008
13 years 9 months ago
Semantic subtyping for the pi-calculus
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
Giuseppe Castagna, Rocco De Nicola, Daniele Varacc...
DDECS
2006
IEEE
79views Hardware» more  DDECS 2006»
14 years 3 months ago
Multiple-Vector Column-Matching BIST Design Method
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...
Petr Fiser, Hana Kubatova
ICFP
2008
ACM
14 years 9 months ago
Pattern minimization problems over recursive data types
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
Alexander Krauss