Sciweavers

146 search results - page 15 / 30
» New Techniques for Regular Expression Searching
Sort
View
ASPLOS
2006
ACM
14 years 1 months ago
Temporal search: detecting hidden malware timebombs with virtual machines
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
Jedidiah R. Crandall, Gary Wassermann, Daniela A. ...
PVLDB
2010
161views more  PVLDB 2010»
13 years 6 months ago
Annotating and Searching Web Tables Using Entities, Types and Relationships
Tables are a universal idiom to present relational data. Billions of tables on Web pages express entity references, attributes and relationships. This representation of relational...
Girija Limaye, Sunita Sarawagi, Soumen Chakrabarti
ICCAD
2002
IEEE
146views Hardware» more  ICCAD 2002»
14 years 4 months ago
Conflict driven learning in a quantified Boolean Satisfiability solver
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
Lintao Zhang, Sharad Malik
WWW
2009
ACM
14 years 8 months ago
Efficient interactive fuzzy keyword search
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...
Shengyue Ji, Guoliang Li, Chen Li, Jianhua Feng
ICIP
2008
IEEE
14 years 2 months ago
Best post-transforms selection in a rate-distortion sense
This paper deals with the optimization of a new technique of image compression. After the wavelet transform of an image, blocks of coefficients are further linearly decomposed us...
Xavier Delaunay, Emmanuel Christophe, Carole Thieb...