Sciweavers

326 search results - page 37 / 66
» Automatic binary deobfuscation
Sort
View
ICCV
2005
IEEE
14 years 1 months ago
Appearance Manifold of Facial Expression
This paper investigates the appearance manifold of facial expression: embedding image sequences of facial expression from the high dimensional appearance feature space to a low dim...
Caifeng Shan, Shaogang Gong, Peter W. McOwan
EUROGP
2005
Springer
114views Optimization» more  EUROGP 2005»
14 years 1 months ago
Repeated Patterns in Tree Genetic Programming
We extend our analysis of repetitive patterns found in genetic programming genomes to tree based GP. As in linear GP, repetitive patterns are present in large numbers. Size fair cr...
William B. Langdon, Wolfgang Banzhaf
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
14 years 1 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
VL
1999
IEEE
109views Visual Languages» more  VL 1999»
13 years 12 months ago
Constraint-Based Diagram Beautification
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
Sitt Sen Chok, Kim Marriott, Tom Paton
CSFW
2007
IEEE
13 years 11 months ago
Secure information flow and program logics
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
Lennart Beringer, Martin Hofmann