Sciweavers

935 search results - page 9 / 187
» A Framework for Obfuscated Interpretation
Sort
View
POST
2012
218views more  POST 2012»
12 years 2 months ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...
CORR
2000
Springer
144views Education» more  CORR 2000»
13 years 7 months ago
Sequence-Based Abstract Interpretation of Prolog
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...
GECCO
2004
Springer
119views Optimization» more  GECCO 2004»
14 years 23 days ago
Topological Interpretation of Crossover
Abstract. In this paper we give a representation-independent topological definition of crossover that links it tightly to the notion of fitness landscape. Building around this defi...
Alberto Moraglio, Riccardo Poli
EUSFLAT
2009
126views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
A Conceptual Framework for Understanding a Fuzzy System
The word Interpretability is becoming more and more frequent in the fuzzy literature. It is admitted as the main advantage of fuzzy systems and it should be given a main role in fu...
José M. Alonso, Luis Magdalena
ICLP
1998
Springer
13 years 11 months ago
Program Specialisation and Abstract Interpretation Reconciled
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
Michael Leuschel