Sciweavers

146 search results - page 6 / 30
» New Techniques for Regular Expression Searching
Sort
View
USS
2010
13 years 5 months ago
Searching the Searchers with SearchAudit
Search engines not only assist normal users, but also provide information that hackers and other malicious entities can exploit in their nefarious activities. With carefully craft...
John P. John, Fang Yu, Yinglian Xie, Martín...
LISP
2008
165views more  LISP 2008»
13 years 7 months ago
Adapting functional programs to higher order logic
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
Scott Owens, Konrad Slind
FGR
2011
IEEE
206views Biometrics» more  FGR 2011»
12 years 11 months ago
A SSIM-based approach for finding similar facial expressions
— There are various scenarios where finding the most similar expression is the requirement rather than just classifying one, for example, facial expression transfer and facial e...
Abhinav Dhall, Akshay Asthana, Roland Goecke
CAV
2009
Springer
134views Hardware» more  CAV 2009»
14 years 8 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
IS
2007
13 years 7 months ago
Schema-conscious XML indexing
User queries on extensible markup language (XML) documents are typically expressed as regular path expressions. A variety of indexing techniques for efficiently retrieving the re...
Krishna P. Leela, Jayant R. Haritsa