Sciweavers

1483 search results - page 58 / 297
» Warnings for pattern matching
Sort
View
WIA
2007
Springer
15 years 6 months ago
Accelerating Boyer Moore Searches on Binary Texts
The Boyer and Moore (BM) pattern matching algorithm is considered as one of the best, but its performance is reduced on binary data. Yet, searching in binary texts has important a...
Shmuel Tomi Klein, Miri Ben-Nissan
102
Voted
GD
2007
Springer
15 years 7 months ago
Minimum Level Nonplanar Patterns for Trees
We add two minimum level nonplanar (MLNP) patterns for trees to the previous set of tree patterns given by Healy et al. [3]. Neither of these patterns match any of the previous pat...
J. Joseph Fowler, Stephen G. Kobourov
GI
2009
Springer
15 years 5 months ago
Towards copy-evident JPEG images
Abstract: We present a technique for adding a high-frequency pattern to JPEG images that is imperceptible to the unaided eye, but turns into a clearly readable largeletter warning ...
Andrew Lewis, Markus Kuhn
94
Voted
FM
1997
Springer
174views Formal Methods» more  FM 1997»
15 years 4 months ago
A Proof Obligation Generator for VDM-SL
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
Bernhard K. Aichernig, Peter Gorm Larsen
ARVLSI
1995
IEEE
78views VLSI» more  ARVLSI 1995»
15 years 4 months ago
A technique for high-speed, fine-resolution pattern generation and its CMOS implementation
This paper presents an architecture for generating a high-speed data pattern with precise edge placement resolution by using the matched delay technique. The technique involves ...
Gary C. Moyer, Mark Clements, Wentai Liu, Toby Sch...