A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
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
1993
Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2008
Higher-Order and Symbolic Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Applications of Specification and Design Languages for SoCs
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
(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
2016
Frontiers in Neuroinformatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2012
Distributed and parallel databases
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1988
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1999
Australasian Journal of Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2007
Journal of Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2011
Implementation Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of Intelligent and Robotic Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 IEEE Latin America Conference on Cloud Computing and Communications (LatinCloud)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Journal of engineering design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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