Sciweavers

2252 search results - page 248 / 451
» Regular expression patterns
Sort
View
122
Voted
FCCM
2003
IEEE
185views VLSI» more  FCCM 2003»
15 years 8 months ago
Implementation of a Content-Scanning Module for an Internet Firewall
A module has been implemented in Field Programmable Gate Array (FPGA) hardware that scans the content of Internet packets at Gigabit/second rates. All of the packet processing ope...
James Moscola, John W. Lockwood, Ronald Prescott L...
131
Voted
DOCENG
2003
ACM
15 years 8 months ago
Handling syntactic constraints in a DTD-compliant XML editor
By exploiting the theories of automata and graphs, we propose algorithms and a process for editing valid XML documents [4][5]. The editing process avoids syntactic violations alto...
Y. S. Kuo, Jaspher Wang, N. C. Shih
124
Voted
ICDT
2003
ACM
127views Database» more  ICDT 2003»
15 years 8 months ago
On Reasoning about Structural Equality in XML: A Description Logic Approach
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
David Toman, Grant E. Weddell
106
Voted
JELIA
1990
Springer
15 years 7 months ago
Action Logic and Pure Induction
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
Vaughan R. Pratt
147
Voted
FGR
2004
IEEE
107views Biometrics» more  FGR 2004»
15 years 7 months ago
Intra-Personal Kernel Space for Face Recognition
Intra-personal space modeling proposed by Moghaddam et. al. has been successfully applied in face recognition. In their work the regular principal subspaces are derived from the i...
Shaohua Kevin Zhou, Rama Chellappa, Baback Moghadd...