Filters








11,230 Hits in 6.3 sec

Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation [chapter]

James Bailey, Alexandra Poulovassilis, Simon Courtenage
2002 Lecture Notes in Computer Science  
The contributions of this work are as follows: We i n troduce for the rst time partial evaluation and abstract interpretation as techniques for globally optimising sets of active rules.  ...  In contrast, in this paper we show how the programming language framework of partial evaluation provides a formal and general route to optimising active database rules.  ...  Here we show h o w partial evaluation can be applied to the problem of optimising a given set of active rules.  ... 
doi:10.1007/3-540-46093-4_18 fatcat:gowxvxz4xbhplhxrzp6evwrcza

Tutorial on specialisation of logic programs

J. P. Gallagher
1993 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93  
The basic algorithm is enhanced by incorporating abstract interpretation.  ...  A two-phase specialisation is then described and illustrated, in which partial evaluation is followed by the detection and removal of useless clauses.  ...  Venken [Ven84] wrote a partial evaluator for Prolog and applied it to optimisation of deductive database queries.  ... 
doi:10.1145/154630.154640 dblp:conf/pepm/Gallagher93 fatcat:q2ayh5axorbcjguiearh2croii

Efficient and flexible access control via Jones-optimal logic program specialisation

Steve Barker, Michael Leuschel, Mauricio Varea
2008 Higher-Order and Symbolic Computation  
For processing access control requests we specialise the meta-program for a given access policy and database by using the logen partial evaluation system.  ...  The meta-program is implemented in Prolog and takes as input a database and an access policy specification.  ...  We are also grateful to Julia Lawall and the anonymous referees of Higher Order and Symbolic Computation, for their careful feedback and useful suggestions, and to Stephen-John Craig for helping out with  ... 
doi:10.1007/s10990-008-9030-8 fatcat:gna2at7nhvcmpg6b7n3alfkbhy

UML/XML-Based Approach to Hierarchical AMS Synthesis [chapter]

Ian O'Connor, Faress Tissafi-Drissi, Guillaume Révy, Frédéric Gaffiot
2006 Applications of Specification and Design Languages for SoCs  
(XML) for storing soft AMS intellectual property (IP) design rules and firm AMS IP design data.  ...  Both aspects are essential to raising the abstraction level in synthesis of this class of block in SoCs.  ...  Acknowledgments This work was partially funded by the European FP6 IST program under PIC-MOS FP6-2002-IST-1-002131, and by the French Rhône-Alpes region under OSMOSE (PRTP 2003(PRTP -2005)).  ... 
doi:10.1007/978-1-4020-4998-9_12 fatcat:it25e4u4zzfp5h5olnykh7fvdm

BluePyOpt: Leveraging Open Source Software and Cloud Infrastructure to Optimise Model Parameters in Neuroscience

Werner Van Geit, Michael Gevaert, Giuseppe Chindemi, Christian Rössert, Jean-Denis Courcol, Eilif B. Muller, Felix Schürmann, Idan Segev, Henry Markram
2016 Frontiers in Neuroinformatics  
This is achieved by abstracting the optimisation and evaluation tasks into various reusable and flexible discrete elements according to established best-practices.  ...  It simplifies the task of creating and sharing these optimisations, and the associated techniques and knowledge.  ...  This is achieved by abstracting the optimisation and evaluation tasks into various reusable and flexible discrete elements according to established best-practices.  ... 
doi:10.3389/fninf.2016.00017 pmid:27375471 pmcid:PMC4896051 fatcat:n5ejvfz4crhxtbszkjvzydxg5e

Data-intensive architecture for scientific knowledge discovery

Malcolm Atkinson, Chee Sun Liew, Michelle Galea, Paul Martin, Amrey Krause, Adrian Mouat, Oscar Corcho, David Snelling
2012 Distributed and parallel databases  
The architecture promotes the exploration and exploitation of distributed and heterogeneous data and spans the complete knowledge discovery process, from data preparation, to analysis, to evaluation and  ...  The architecture evaluation included large-scale applications from astronomy, cosmology, hydrology, functional genetics, imaging processing and seismology.  ...  Acknowledgements The work presented in this paper is supported by the ADMIRE project (funded by EU FP7-ICT-215024) and the e-Science Core Programme Senior Research Fellow programme (funded by the UK EPSRC  ... 
doi:10.1007/s10619-012-7105-3 fatcat:y3ddxejybbbwlezrgozj3bu4zm

Explanation-based generalisation = partial evaluation

Frank van Harmelen, Alan Bundy
1988 Artificial Intelligence  
or partial evaluation.  ...  We show this equivalence by analysing the definitions and underlying algorithms of both techniques, and by giving a Prolog program which can be interpreted as doing either explanation-based generalisation  ...  Not surprisingly, this partial evaluator looks very much like the standard Prolog interpreter that it simulates.  ... 
doi:10.1016/0004-3702(88)90088-4 fatcat:5mw4vneci5fsno3qehcgd3siee

Database Issues in Knowledge Discovery and Data Mining

Chris Rainsford, John Roddick
1999 Australasian Journal of Information Systems  
This paper surveys, from the standpoint of the database systems community, current issues in data mining research by examining the architectural and process models adopted by knowledge discovery systems  ...  In recent years both the number and the size of organisational databases have increased rapidly.  ...  Therefore depending upon the level of abstraction being discussed, spatial terms need to be re-interpreted.  ... 
doi:10.3127/ajis.v6i2.310 fatcat:57zzkqzw2bdgndhjp5tumgicd4

Question answering from structured knowledge sources

Anette Frank, Hans-Ulrich Krieger, Feiyu Xu, Hans Uszkoreit, Berthold Crysmann, Brigitte Jörg, Ulrich Schäfer
2007 Journal of Applied Logic  
Question interpretation and answer extraction are modular components that interact in clearly defined ways.  ...  We perform question interpretation and answer extraction in an architecture that builds on a lexical-conceptual structure for question interpretation, which is interfaced with domain-specific concepts  ...  and complexity of mapping rules to database concepts.  ... 
doi:10.1016/j.jal.2005.12.006 fatcat:rdztzmniw5eghl5zm5w2aqxyce

Programming in logic without logic programming

ROBERT KOWALSKI, FARIBA SADRI
2016 Theory and Practice of Logic Programming  
It cannot make reactive rules true by preventing theirantecedentsfrom becoming true, or by proactively making theirconsequentstrue before theirantecedentsbecome true.  ...  In this model-theoretic semantics, reactive rules are the driving force, and logic programs play only a supporting role.  ...  Acknowledgements We are grateful to the anonymous referees for their careful reading of our earlier submission, and for their many helpful comments.  ... 
doi:10.1017/s1471068416000041 fatcat:oopzyobzlrbt3bircc26xanlwu

Towards an organisation-wide process-oriented organisation of care: A literature review

Leti Vos, Sarah E Chalmers, Michel LA Dückers, Peter P Groenewegen, Cordula Wagner, Godefridus G van Merode
2011 Implementation Science  
Four hospitals tried to become process-oriented by the implementation of coordination measures, and one by organisational restructuring.  ...  Methods: A literature review of English language articles on organisation-wide process- Results: Of 329 abstracts identified, 10 articles were included in the study.  ...  Acknowledgements and Funding  ... 
doi:10.1186/1748-5908-6-8 pmid:21247491 pmcid:PMC3035025 fatcat:ue5numzpjrhupd2vq5mmfwxkdu

Intelligent Approaches in Locomotion - A Review

Joe Wright, Ivan Jordanov
2014 Journal of Intelligent and Robotic Systems  
A summary of references from this review, grouped by method, target system and type of data presented, is given in Table 2 .  ...  Among the investigated intelligent approaches for solving locomotion problems are oscillator based Central Pattern Generators, Neural Networks, Hidden Markov models, Rule Based and Fuzzy Logic systems,  ...  The simplicity of these approaches enables clear interpretation, and therefore the use of expert knowledge or learning/optimising techniques to specify transition rules.  ... 
doi:10.1007/s10846-014-0149-z fatcat:wpzs5i4lsbhxfdgkf5i7ij6xa4

Flexible data distribution policy language and gateway architecture

Josef Spillner, Alexander Schill
2012 2012 IEEE Latin America Conference on Cloud Computing and Communications (LatinCloud)  
Despite this requirement, there is no language available yet to express such rules and policies.  ...  In roaming and multi-user environments, the configuration and rules steering these controllers should be easily extensible and migratable in order to not simply shift the vendor lock-in from the service  ...  ACKNOWLEDGEMENTS This work has received funding under project number 080949277 by means of the European Regional Development Fund (ERDF), the European Social Fund (ESF) and the German Free State of Saxony  ... 
doi:10.1109/latincloud.2012.6508149 dblp:conf/latincloud/SpillnerS12 fatcat:ydwn2lh2hnfrtmj2yaanprix34

A framework for mapping design for additive manufacturing knowledge for industrial and product design

Patrick Pradel, Zicheng Zhu, Richard Bibb, James Moultrie
2018 Journal of engineering design  
this category 5 Design experiment Studies in which the design aid has been evaluated through a design activity carried out by other designers in a controlled environment 6 Survey Studies that  ...  A range of databases were searched, with specificity (where available) regarding the use of the phrase in either title, abstract or keywords.  ...  Appendix 1 Summary of all literature Where 'x' shows the research area that the authors focused on, and '(x)' indicates the area that the authors studied but not the focus of the research.  ... 
doi:10.1080/09544828.2018.1483011 fatcat:dozo4ov5endvbai6czqzpv6gzi

Partial evaluation of string obfuscations for Java malware detection

Aziem Chawdhary, Ranjeet Singh, Andy King
2016 Formal Aspects of Computing  
The paper presents a partial evaluator for Jimple, which is an intermediate language for JVM bytecode designed for optimisation and program analysis, and demonstrates how partially evaluated Jimple code  ...  This paper shows how to apply partial evaluation to remove these obfuscations and thereby improve AV matching.  ...  Acknowledgements This work was supported by grant EP/K032585/1 funded by GCHQ in association with EPSRC.  ... 
doi:10.1007/s00165-016-0357-3 fatcat:2evwy4qpkrfypg66w6cnvg2bfi
« Previous Showing results 1 — 15 out of 11,230 results