Filters








463,096 Hits in 9.6 sec

Efficient search as a means of executing specifications [chapter]

Craig A. Damon, Daniel Jackson
<span title="">1996</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;
The utility of directly executing formal specifications is briefly touched upon and the concept of exhaustive search as a means of execution is introduced.  ...  A mechanism for improving the efficiency of such searches is presented in some detail. Finally, the results of an implementation of the mechanism are presented.  ...  While this mechanism alone does not allow efficient execution of specifications through searching, in combination with other such mechanisms it does allow a large body of specifications to be executed  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-61042-1_39">doi:10.1007/3-540-61042-1_39</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sztmfqhfsnhz3higruomr6mvuq">fatcat:sztmfqhfsnhz3higruomr6mvuq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170913045918/https://link.springer.com/content/pdf/10.1007%2F3-540-61042-1_39.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/e9/97/e997673735beb358836fad8e3f489fee4a745f97.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-61042-1_39"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Toward subheuristic search

Robert E. Keller, Riccardo Poli
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2dmkezwdzrcofn7zdzzte2h75i" style="color: black;">2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence)</a> </i> &nbsp;
In previous work, we have introduced an effective, resource-efficient and self-adapting hyperheuristic that uses Genetic Programming (GP) as its method of search in the space of domain-specific metaheuristics  ...  In particular, this approach supports efficiency of the better MHs.  ...  The execution of a metaheuristic, g, with g = i 0 i 1 ...i n , i j ∈ T , means the execution of the i j s one by one.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cec.2008.4631224">doi:10.1109/cec.2008.4631224</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cec/KellerP08.html">dblp:conf/cec/KellerP08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z6v6lxse7zb5bb3sogse53zcfm">fatcat:z6v6lxse7zb5bb3sogse53zcfm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808202015/http://dces.essex.ac.uk/staff/poli/papers/KellerPoli_WCCI2008_Subheur_Search.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/14/32/14321d606b4ef61403eb1848f470bffd0e9bb9fa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cec.2008.4631224"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Service-Oriented Model Encapsulation and Selection Method for Complex System Simulation Based on Cloud Architecture

Xiong, Zhu, Yao, Tang, Xiao
<span title="2019-09-14">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4d3elkqvznfzho6ki7a35bt47u" style="color: black;">Entropy</a> </i> &nbsp;
The experimental results showed that the parallel operation of service models can effectively improve the execution efficiency of complex system simulation applications, and the performance was increased  ...  This method encapsulates models into shared simulation services, supports the distributed scheduling of model services in the network, and designs a semantic search framework which can support users in  ...  the execution efficiency of simulation applications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/e21090891">doi:10.3390/e21090891</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wg43kvgsqfd4xjuturjouw77na">fatcat:wg43kvgsqfd4xjuturjouw77na</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200212142915/https://res.mdpi.com/d_attachment/entropy/entropy-21-00891/article_deploy/entropy-21-00891-v2.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/61/5b/615b4918c049250e215633a99cce6da863349180.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/e21090891"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Efficient multi-AUV cooperation using semantic knowledge representation for underwater archaeology missions

Nikolaos Tsiogkas, Georgios Papadimitriou, Zeyn Saigol, David Lane
<span title="">2014</span> <i title="IEEE"> 2014 Oceans - St. John&#39;s </i> &nbsp;
, such as search and rescue.  ...  Specifically, the challenge is to define which robot executes which task, considering an efficient solution for the successful completion of the complex mission.  ...  ACKNOWLEDGMENT The authors would like to thank all the members of the Ocean Systems Laboratory at Heriot-Watt University.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/oceans.2014.7003085">doi:10.1109/oceans.2014.7003085</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ytdz2uccgbd4nijlllloim7mbq">fatcat:ytdz2uccgbd4nijlllloim7mbq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923000312/http://www.zeynsaigol.com/Oceans14MultiAUVCooperation.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/ce/c5cea068b8814fba521e24cd87d4cd9a040da346.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/oceans.2014.7003085"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Entity Search Strategies for Mashup Applications

Stefan Endrullis, Andreas Thor, Erhard Rahm
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vuw5ktdyknehrehttg5qm4rfqm" style="color: black;">2012 IEEE 28th International Conference on Data Engineering</a> </i> &nbsp;
We therefore propose more advanced search strategies that aim at finding a set of entities with high efficiency and high effectiveness.  ...  Current mashups are typically restricted to simple query approaches such as using keyword search. Such approaches may need a high number of queries if many objects have to be found.  ...  The interface provides a free search predicate Keywords as well as specific search predicates for authors, title, publisher, and product-specific identifiers such as ISBN.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icde.2012.84">doi:10.1109/icde.2012.84</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icde/EndrullisTR12.html">dblp:conf/icde/EndrullisTR12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4kssl4mkyngr3ndi7th3gnd24m">fatcat:4kssl4mkyngr3ndi7th3gnd24m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160813213811/http://dbs.uni-leipzig.de/file/ICDE12_conf_full_417.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/95/11/9511a76940af47d41f003e18c38fba03b33e44e7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icde.2012.84"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Pdk: The System and Its Language [chapter]

Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
<span title="">2005</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;
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that finding solution plans is  ...  The planning language accepted by the system allows one to specify extra problem dependent information, that can be of help both in reducing the search space and finding plans of better quality.  ...  not only be provided explicitly as a set of LTL formulae, but also as instances of a set of specific control schemata.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11554554_23">doi:10.1007/11554554_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rhkzl7abc5aofgj3y4rqnmln6e">fatcat:rhkzl7abc5aofgj3y4rqnmln6e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070613232609/http://limongelli.dia.uniroma3.it/papers/pdk.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/18/7c/187c8f4d4e78e5b59fa11f9f6cc8714cf6fa6c23.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11554554_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Stress testing of task deadlines: A constraint programming approach

Stefano Di Alesio, Shiva Nejati, Lionel Briand, Arnaud Gotlieb
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t5wjgfbu4bb3xjbswdgysknzhm" style="color: black;">2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)</a> </i> &nbsp;
Furthermore, CP offers some advantages over GA, such as it guarantees a complete search when there is sufficient time, and, being deterministic, it doesn't rely on parameters that potentially have a significant  ...  We evaluate it through a comparison with a state-of-the-art approach based on Genetic Algorithms (GA).  ...  We gratefully acknowledge funding from the Research Council of Norway (ModelFusion project and Certus).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/issre.2013.6698915">doi:10.1109/issre.2013.6698915</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issre/AlesioNBG13.html">dblp:conf/issre/AlesioNBG13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hfmegeyywrfhvlfismpkcdngru">fatcat:hfmegeyywrfhvlfismpkcdngru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818013526/https://www.computer.org/csdl/proceedings/issre/2013/9999/00/06698915.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/1e/f5/1ef5a7efede4c7e8243cf03458f22693e1849961.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/issre.2013.6698915"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Reactive Task and Motion Planning under Temporal Logic Specifications [article]

Shen Li, Daehyung Park, Yoonchang Sung, Julie A. Shah, Nicholas Roy
<span title="2021-03-26">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Our algorithm also shows efficient recovery functionalities that minimize the number of replanning steps. Finally, our algorithm produces a robust, efficient, and complete TAMP solution.  ...  We introduce a dynamically reconfigurable planning methodology with behavior tree-based control strategies toward reactive TAMP, which takes the advantage of previous plans and incremental graph search  ...  Reusing previous plans expedites the search as environmental changes often affect only a small part of G.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2103.14464v1">arXiv:2103.14464v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/requndzmcffn7oo74dbphk5qle">fatcat:requndzmcffn7oo74dbphk5qle</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210330001708/https://arxiv.org/pdf/2103.14464v1.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/a1/1d/a11d252edacb7c72075350e7e755ebb52745da62.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2103.14464v1" 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>

Neonatal White Matter Abnormalities Predict Global Executive Function Impairment in Children Born Very Preterm

Lianne J. Woodward, Caron A. C. Clark, Verena E. Pritchard, Peter J. Anderson, Terrie E. Inder
<span title="2011-01-25">2011</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c6pdt6j6xbgnllxx3tozlpmuge" style="color: black;">Developmental Neuropsychology</a> </i> &nbsp;
ACKNOWLEDGMENTS Special thanks to Michelle Davey, Jacqueline Knight, and Carole Spencer for assistance with data collection, and also to study families for their time and support of this project.  ...  Per trial efficiency scores were then averaged to produce an overall mean efficiency score (Welsh, 1991) , with higher scores reflecting greater searching efficiency. Shape School.  ...  The specific aims and hypotheses of the study were as follows. 1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/87565641.2011.540530">doi:10.1080/87565641.2011.540530</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/21253989">pmid:21253989</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s3iiblrmcjhvhksbyek2y6xpfe">fatcat:s3iiblrmcjhvhksbyek2y6xpfe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810044902/http://www.bio.spbu.ru/faculty/departments/vnd/pdf/journal%202012/Stepanenko%20Ulya.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/bc/d0/bcd0c3b9f49ae19b8b7a3f4c94842e409ff021fa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/87565641.2011.540530"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Learning to efficiently rank

Lidan Wang, Jimmy Lin, Donald Metzler
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ibcfmixrofb3piydwg5wvir3t4" style="color: black;">Proceeding of the 33rd international ACM SIGIR conference on Research and development in information retrieval - SIGIR &#39;10</a> </i> &nbsp;
Given that both efficiency and effectiveness are important for real search engines, models that are optimized for effectiveness may not meet the strict efficiency requirements necessary to deploy in a  ...  Finally, we show that our approach naturally leads to a reduction in the variance of query execution times, which is important for query load balancing and user satisfaction.  ...  Measuring Efficiency There are many different ways to measure the efficiency of a search engine, such as query execution time and queries executed per second.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1835449.1835475">doi:10.1145/1835449.1835475</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigir/WangLM10.html">dblp:conf/sigir/WangLM10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ud5sxrqrqrca7pxldpev6xxd3q">fatcat:ud5sxrqrqrca7pxldpev6xxd3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808032429/http://don-metzler.net/papers/fp334-wang.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/7d/ef/7def1736e4fc660f0fc4c9edac0e5f13ef38ec0e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1835449.1835475"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines

Stefano Di Alesio, Lionel C. Briand, Shiva Nejati, Arnaud Gotlieb
<span title="2015-12-02">2015</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7dwkv5m7lfbbpi6he2w2suk6b4" style="color: black;">ACM Transactions on Software Engineering and Methodology</a> </i> &nbsp;
In this paper, we describe stress test case generation as a search problem over the space of task arrival times.  ...  Specifically, we search for worst case scenarios maximizing deadline misses where each scenario characterizes a test case.  ...  The first and last authors acknowledge the Research Council of Norway (NFR 205606 -ModelFusion Project).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2818640">doi:10.1145/2818640</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nb46l3gtwbhajps53qplzl5uwq">fatcat:nb46l3gtwbhajps53qplzl5uwq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160912165929/http://orbilu.uni.lu/bitstream/10993/20995/1/Final-TOSEM-Stefano.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/b7/16/b71625c0b20823d765d9330a1f411f87654fa281.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2818640"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

In your eyes only: deficits in executive functioning after frontal TMS reflect in eye movements

Mathias Lüthi, Katharina Henke, Klemens Gutbrod, Thomas Nyffeler, Silvia Chaves, René M. Müri
<span title="">2014</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/sx3lvh2nmvah7ilqdbdicsjcku" style="color: black;">Frontiers in Behavioral Neuroscience</a> </i> &nbsp;
Inhibition of the rDLPFC resulted in a decrease in anticipatory fixations in the number search task, i.e., a decrease in a good strategy in this low demand task.  ...  To observe how subjects solved the tasks, we assessed their behavior with and without TMS using eye movements when subjects were confronted with specific executive demands.  ...  In this study, we used TMS-induced changes in efficient visual strategies during specific cognitive demands as a tool to pinpoint executive functions associated with the rDLPFC, lDLPFC and the MFC.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fnbeh.2014.00007">doi:10.3389/fnbeh.2014.00007</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/24478654">pmid:24478654</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3902210/">pmcid:PMC3902210</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n2mbcfoppva27n6oqo5y4fjcwu">fatcat:n2mbcfoppva27n6oqo5y4fjcwu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720073010/https://boris.unibe.ch/58222/1/L%C3%BCthi%20Frontieres%20in%20Behavioral%20Neuroscience%202014.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/44/34/443427b4766a60f89f4443b25028e0b14e842c0c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fnbeh.2014.00007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> frontiersin.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3902210" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Subheuristic search and scalability in a hyperheuristic

Robert E. Keller, Riccardo Poli
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fdhfwmjdwjbvxo6zc7cdt5hi7q" style="color: black;">Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO &#39;08</a> </i> &nbsp;
There, GP employs usergiven languages where domain-specific local heuristics are used as primitives for producing specialised metaheuristics (MH).  ...  The system produces effective and efficient MHs that deliver best results known in a chosen test domain.  ...  Table 3 gives results as to efficiency: the use of non-greedy SWAP_NODE does not come with unfavourable scaling of the search effort.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1389095.1389216">doi:10.1145/1389095.1389216</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/gecco/KellerP08.html">dblp:conf/gecco/KellerP08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ravakxado5d25nityqo6a5b5qa">fatcat:ravakxado5d25nityqo6a5b5qa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809113817/http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p609.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/fa/09/fa093af7450317267d7d4a938bff70f96c75d780.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1389095.1389216"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Vector Instruction-based RISC Architecture for a Photovoltaic System Monitoring Camera

Youngho Choi, Hyungkeun Ahn
<span title="2012-12-25">2012</span> <i title="The Korean Institute of Electrical and Electronic Material Engineers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u55dkealxjgzhf5clsoynjnrpa" style="color: black;">Transactions on Electrical and Electronic Materials</a> </i> &nbsp;
To satisfy this need, the efficient implementation of a high performance video compression standard is required.  ...  However, due to their large scale, to efficiently manage and operate PV systems, they need to be visually monitored within the range of infrared ray through the Internet.  ...  DESIGN SPECIFICATIONS OF H.264 MOTION ESTIMATION As a state-of-the-art video coding standard, H.264 provides a maximum increase in compression efficiency of 50% over a wide range of bit rates and video  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4313/teem.2012.13.6.278">doi:10.4313/teem.2012.13.6.278</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hwu3fm752zcyhnogqjkz5brthy">fatcat:hwu3fm752zcyhnogqjkz5brthy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818041939/http://ocean.kisti.re.kr/downfile/volume/kieeme/E1TEAO/2012/v13n6/E1TEAO_2012_v13n6_278.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/20/72/2072a70b77257f328cccca3d98e79464fe8ebfaf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4313/teem.2012.13.6.278"> <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>

Specifications are (preferably) executable

Norbert E. Fuchs
<span title="">1992</span> <i title="Institution of Engineering and Technology (IET)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/e2jahdxlbncclflxbtquxbgmuq" style="color: black;">Software Engineering Journal</a> </i> &nbsp;
No new algorithms have to be introduced to get executability. In many cases the combination of property-orientation and search results in specifications based on the generate-and-test approach.  ...  In this paper I will argue for executable specifications by showing that non-executable formal specifications can be made executable on almost the same level of abstraction and without essentially changing  ...  Jones whose paper inspired me to critically review the arguments that speak for and against executable specifications. I would like to thank P. Baumann and M.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/sej.1992.0033">doi:10.1049/sej.1992.0033</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iexl6trqj5eftgejmaah44syce">fatcat:iexl6trqj5eftgejmaah44syce</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130704225546/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.46.1036&amp;rep=rep1&amp;type=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/0a/db/0adb9da85b0ed388ba8a8e82a53173ad16d1da70.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/sej.1992.0033"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 463,096 results