935 search results - page 38 / 187 » A Framework for Obfuscated Interpretation |
139
click to vote
ICDAR
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper proposes a novel framework for automatic text categorization problem based on the kernel density classifier. The overall goal is to tackle two main issues in automatic ...
115
Voted
EUROGP
2006
Springer
15 years 5 months ago
2006
Springer
This paper extends a geometric framework for interpreting crossover and mutation [4] to the case of sequences. This representation is important because it is the link between artif...
109
click to vote
ENTCS
2007
15 years 1 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...
206
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
127
click to vote
AADEBUG
1993
Springer
15 years 6 months ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....