935 search results - page 35 / 187 » A Framework for Obfuscated Interpretation |
125
click to vote
TCS
2011
14 years 6 months ago
2011
Models of biological systems and phenomena are of high scientific interest and practical relevance, but not always easy to obtain due to their inherent complexity. To gain the re...
CHI
2008
ACM
16 years 6 days ago
2008
ACM
Though interaction designers critique interfaces as a regular part of their research and practice, the field of HCI lacks a proper discipline of interaction criticism. By interact...
101
click to vote
CADE
2008
Springer
16 years 4 days ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
CADE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...