Filters








414,721 Hits in 4.1 sec

A Declarative Framework for Analysis and Optimization [chapter]

Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann
<i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/co3tf2zzendhlbd6zt7kuvv3ha" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called "weaves".  ...  This paper motivates the design, and demonstrates some of its power, using a sequence of examples including performance profiling and domain-specific performance optimisations for database access and remote  ...  Acknowledgments This work was supported by the EPSRC SPOCS grant (EP/E002412), EPSRC PhD studentships, and by an IBM Faculty Award.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71229-9_15">doi:10.1007/978-3-540-71229-9_15</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cc/FalconerKIMFB07.html">dblp:conf/cc/FalconerKIMFB07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kketyrvbp5fy5gryoaxkj7rpcy">fatcat:kketyrvbp5fy5gryoaxkj7rpcy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120903230537/http://www.doc.ic.ac.uk/~phjk/Publications/DeepWeaver-CC07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/48/06/4806d42558c88018ce2fa36f4bc82345c9e096d4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71229-9_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Using Datalog for Fast and Easy Program Analysis [chapter]

Yannis Smaragdakis, Martin Bravenboer
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Our recent work introduced the D framework for points-to analysis of Java programs.  ...  For the exact same logical points-to definitions (and, consequently, identical precision) D is more than 15x faster than P for a 1-call-site sensitive analysis, with lower but still substantial  ...  Acknowledgments This work was funded by the NSF (CCF-0917774, CCF-0934631) and by LogicBlox Inc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-24206-9_14">doi:10.1007/978-3-642-24206-9_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jpr7tsglcraxjcgz52t256lfbi">fatcat:jpr7tsglcraxjcgz52t256lfbi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808225358/https://yanniss.github.io/doop-datalog2.0.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/76/7776ae67954d0bc4c3547422003fd213ab4273d0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-24206-9_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Toward smart manufacturing using decision analytics

Alexander Brodsky, Mohan Krishnamoorthy, Daniel A. Menasce, Guodong Shao, Sudarsan Rachuri
<span title="">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/faqqmambavbalpofpx3p6nntua" style="color: black;">2014 IEEE International Conference on Big Data (Big Data)</a> </i> &nbsp;
machines and process composition • domain-specific process models for a simple demonstration example of a manufacturing process • domain-specific module for analytical view points for monitoring, analysis  ...  and planning (process optimization) for the demonstration example • Demonstrate reusability and ease of use of declarative DGA queries against library modules to perform: • monitoring (aggregated power  ...  process • domain-specific module for analytical view points for monitoring, analysis and planning (process optimization) for the demonstration example • Demonstrate reusability and ease of use of declarative  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/bigdata.2014.7004330">doi:10.1109/bigdata.2014.7004330</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/bigdataconf/BrodskyKMSR14.html">dblp:conf/bigdataconf/BrodskyKMSR14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ba5dmplhdfdw3ktfwkbg3wcn3a">fatcat:ba5dmplhdfdw3ktfwkbg3wcn3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810065647/http://cci.drexel.edu/bigdata/bigdata2014/IEEE_specialsession1_presentations/big_data_sm_dgal_Brodsky.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ee/f0/eef05acb3d3bc9efb241fd5fa5de460f52b1b8eb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/bigdata.2014.7004330"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Page 110 of The Journal of Applied Ecology Vol. 46, Issue 1 [page]

<span title="">2009</span> <i title="Blackwell Publishing Ltd."> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_journal-of-applied-ecology" style="color: black;">The Journal of Applied Ecology</a> </i> &nbsp;
We find the number of absent surveys after which eradication should be declared, using three approaches; a stochastic dynamic program, which finds the exact optimal solution, a rule of thumb, and an approximation  ...  Analysing this problem within a decision theory framework enables us to minimize the expected cost of declaring eradication.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_journal-of-applied-ecology_2009-02_46_1/page/110" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_journal-of-applied-ecology_2009-02_46_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Modular Collaborative Program Analysis in OPAL [article]

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
<span title="2020-10-09">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Whereas declarative approaches facilitate modularity and automated, analysis-independent optimizations, imperative approaches foster manual, analysis-specific optimizations.  ...  points-to analysis framework.  ...  However, it does not rely on a general-purpose declarative framework and constraint solver. It offers a specialized approach mixing imperative and declarative styles.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.04476v1">arXiv:2010.04476v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gabzhoftyzco7bka6srqynuqhu">fatcat:gabzhoftyzco7bka6srqynuqhu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201024083717/https://arxiv.org/pdf/2010.04476v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c5/82/c582e1b07f2cf694ee1b318b74051054338504cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.04476v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Self-adaptive static analysis [article]

Eric Bodden
<span title="2017-10-20">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
To boost scalability to a new level, we propose to fuse static-analysis with just-in-time-optimization technology, introducing for the first time static analyses that are managed and inherently self-adaptive  ...  This representation allows for an automatic optimization and adaptation of the analysis code, both ahead-of-time (through static analysis of the static analysis) as well as just-in-time during the analysis  ...  Some domain-speci c optimizations that a just-in-time optimizer should consider for static analysis can be obtained by choosing the optimal analysis framework.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1710.07430v1">arXiv:1710.07430v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cz3bg7anjzg6xbvozmzehjumse">fatcat:cz3bg7anjzg6xbvozmzehjumse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200909102225/https://arxiv.org/pdf/1710.07430v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/52/c452d481d20357297205e979137e4ef5a40468c9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1710.07430v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Data Analysis using ALICE Run 3 Framework

Giulio Eulisse, Anton Alkin, Jan Fiete Grosse-Oetringhaus, Peter Hristov, Gian Michele Innocenti, Maja Jadwiga Kabus, C. Doglioni, D. Kim, G.A. Stewart, L. Silvestris, P. Jackson, W. Kamleh
<span title="">2020</span> <i title="EDP Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oduy4e4fvfhovftixyndrlkomi" style="color: black;">EPJ Web of Conferences</a> </i> &nbsp;
ROOT declarative analysis framework RDataFrame.  ...  We present our progress to adapt such a framework for the end user physics data analysis. In particular, the design and technology choices are highlighted.  ...  However, for the analyses which are on the critical path a more declarative API will be recommended, as it allows for the optimization and reuse of common filters and computations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/epjconf/202024506032">doi:10.1051/epjconf/202024506032</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ori3beqrw5f63ntjgxydlsiv5i">fatcat:ori3beqrw5f63ntjgxydlsiv5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201117053525/https://www.epj-conferences.org/articles/epjconf/pdf/2020/21/epjconf_chep2020_06032.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/dd/e7ddc47f79433625fc55f92b382767ec6805352e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/epjconf/202024506032"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

GCIP

Matthias Boehm, Uwe Wloka, Dirk Habich, Wolfgang Lehner
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/25kc37fuhndb5axzv75226fwem" style="color: black;">Proceedings of the 12th International Conference on Extending Database Technology Advances in Database Technology - EDBT &#39;09</a> </i> &nbsp;
The model-driven approach opens opportunities for rule-based and workload-based optimization techniques.  ...  To overcome those problems, we follow a model-driven generation approach for integration processes.  ...  Therefore, the Optimizer first executes a preprocessing chain including control flow analysis, data flow analysis and the successive dependency analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1516360.1516494">doi:10.1145/1516360.1516494</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/edbt/BohmWHL09.html">dblp:conf/edbt/BohmWHL09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/guvlnwaatbdhpch3ddb4jtymlq">fatcat:guvlnwaatbdhpch3ddb4jtymlq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706080215/http://www.informatik.htw-dresden.de/~wloka/pubs/edbt2009.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/24/80246ec890913df49aab7d65a8079b6292d0510a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1516360.1516494"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Porting doop to Soufflé

Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis
<span title="">2017</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017</a> </i> &nbsp;
execution, and optimization methodologies).  ...  We detail our experience of porting the DOOP static analysis framework to the recently introduced Soufflé Datalog engine.  ...  The DOOP framework [4] is a prominent instance of the Datalog approach to static analysis. DOOP is an analysis framework for Java bytecode, built around points-to analysis algorithms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3088515.3088522">doi:10.1145/3088515.3088522</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/AntoniadisTS17.html">dblp:conf/pldi/AntoniadisTS17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w4k2iwaetjcqjkcufb35t4vxya">fatcat:w4k2iwaetjcqjkcufb35t4vxya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218144829/https://static.aminer.org/pdf/20170130/pdfs/pldi/mv1kixhagj2geaycwfczxnsdnv83d4fo.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/59/85/5985cff52ca4030a37d361f1dac6fff1cde081cc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3088515.3088522"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Immutability specification and its applications

Igor Pechtchanski, Vivek Sarkar
<span title="">2005</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/o454xj4tdjfllm3oragfkdrffi" style="color: black;">Concurrency and Computation</a> </i> &nbsp;
We introduce a framework for immutability specification, and discuss its application to code optimization.  ...  We present a framework for processing and verifying immutability annotations in Java, as well as extending optimizations so as to exploit immutability information.  ...  We would also like to thank members of the Jalapeño team for their contributions to the Jalapeño Virtual Machine, and Philippe Charles and David Shields for their assistance with extending the Jikes source-to-bytecode  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.853">doi:10.1002/cpe.853</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lnez6yolobhtpkm4mulnpab5wm">fatcat:lnez6yolobhtpkm4mulnpab5wm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060620001145/http://cs.nyu.edu:80/~pechtcha/pubs/jgi02.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/9f/5e9f8afbdbd5da0649ae6526ca08ca0bfb071a8c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.853"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Immutability specification and its applications

Igor Pechtchanski, Vivek Sarkar
<span title="">2002</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kj6f5djg2zdxdlh6kpq6mu23gi" style="color: black;">Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande - JGI &#39;02</a> </i> &nbsp;
We introduce a framework for immutability specification, and discuss its application to code optimization.  ...  We present a framework for processing and verifying immutability annotations in Java, as well as extending optimizations so as to exploit immutability information.  ...  We would also like to thank members of the Jalapeño team for their contributions to the Jalapeño Virtual Machine, and Philippe Charles and David Shields for their assistance with extending the Jikes source-to-bytecode  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/583810.583833">doi:10.1145/583810.583833</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/java/PechtchanskiS02.html">dblp:conf/java/PechtchanskiS02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aglnlcr33rfttcbzwk4j67wpza">fatcat:aglnlcr33rfttcbzwk4j67wpza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060620001145/http://cs.nyu.edu:80/~pechtcha/pubs/jgi02.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/9f/5e9f8afbdbd5da0649ae6526ca08ca0bfb071a8c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/583810.583833"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

DiaSuite

Charles Consel
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4inzarpn6bccxa4a445nlydsbi" style="color: black;">Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM &#39;11</a> </i> &nbsp;
Our approach is instantiated with the Sense-Compute-Control paradigm, and uniformly integrated into a suite of declarative languages and tools.  ...  This approach offers a language-based design framework, high-level programming support, a range of verifications, and an abstraction layer over lowlevel technologies.  ...  Special thanks to Emilie Balland for insightful discussions and helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1929501.1929515">doi:10.1145/1929501.1929515</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pepm/Consel11.html">dblp:conf/pepm/Consel11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ujx2rami55hh7nnjcq6qt5a3je">fatcat:ujx2rami55hh7nnjcq6qt5a3je</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161107075211/https://hal.inria.fr/inria-00581652/file/pepm36kn-1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c3/d0/c3d06e72e3362120544843748c00a826525dedb4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1929501.1929515"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Declarative Machine Learning - A Classification of Basic Properties and Types [article]

Matthias Boehm, Alexandre V. Evfimievski, Niketan Pansare, Berthold Reinwald
<span title="2016-05-19">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper makes an attempt to create a taxonomy for declarative ML, including a definition of essential basic properties and types of declarative ML.  ...  Finally, we draw conclusions on defining appropriate benchmarks and specification languages for declarative ML.  ...  Contributions and Structure: The primary contribution of this paper is a systematic analysis and classification of declarative machine learning.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1605.05826v1">arXiv:1605.05826v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dzkrt6dl4fe57jwfhfa25sy37m">fatcat:dzkrt6dl4fe57jwfhfa25sy37m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200826031545/https://arxiv.org/pdf/1605.05826v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cd/b2/cdb213c2191732607134341e2b211977170ef048.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1605.05826v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Optimization Framework for a Multiple Classifier System with Non-Registered Targets

Timothy W. Albrecht, Kenneth W. Bauer
<span title="">2008</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tdshbg4wabhvhawvcarhnepdde" style="color: black;">The Journal of Defence Modeling and Simulation: Applications, Methodology, Technology</a> </i> &nbsp;
This research extends a mathematical programming framework that selects the optimal classifier ensemble and fusion method across multiple decision thresholds subject to classifier performance constraints  ...  The framework is exercised in an experimental design across classifier fusion methods, prior probabilities of targets and non-targets, correlation between multiple sensor looks, and levels of target pose  ...  Charles Sadowski from USAF Air Combat Command (ACC) for his insight of ATR. This research was jointly sponsored by ACC and the Air Force Office of Scientific Research under grant NMIPR045203616.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/154851290800500104">doi:10.1177/154851290800500104</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/62rilp5adzarzepqyfuif3cceq">fatcat:62rilp5adzarzepqyfuif3cceq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090816083656/http://www.scs.org:80/pubs/jdms/vol5num1/Albrecht.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/06/ea/06ea4b890ec834555b4f9562a534a1f94882d602.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/154851290800500104"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> sagepub.com </button> </a>

The ALICE Analysis Framework for LHC Run 3

Dario Berzano, Roel Deckers, Costin Grigoras¸, Michele Floris, Peter Hristov, Mikolaj Krzewicki, Markus Zimmermann, A. Forti, L. Betev, M. Litmaath, O. Smirnova, P. Hristov
<span title="">2019</span> <i title="EDP Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oduy4e4fvfhovftixyndrlkomi" style="color: black;">EPJ Web of Conferences</a> </i> &nbsp;
Wepresent the prototypeofanew Analysis Object Data format basedontimeframes and optimized for continuous readout. Such formatisdesigned tobeextensible and transported efficiently over the network.  ...  Finally,wewill giveastatus reportonthe integrationofthe Analysis Framework and Analysis Facilities for Run3into the current organized analysis model in ALICE.  ...  The current framework is considered successful from the performance and usability perspectives because it factors out critical parts and hides their complexity and optimization to the user: the Run 3 analysis  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/epjconf/201921405045">doi:10.1051/epjconf/201921405045</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gaxaya3xafhabnevxgko7fxiz4">fatcat:gaxaya3xafhabnevxgko7fxiz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200207205835/https://www.epj-conferences.org/articles/epjconf/pdf/2019/19/epjconf_chep2018_05045.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0e/c7/0ec70483f01a99846746b1c340d0a3782413781a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/epjconf/201921405045"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 414,721 results