Filters








5 Hits in 3.4 sec

Explaining Propagators for String Edit Distance Constraints

Felix Winter, Nysret Musliu, Peter Stuckey
<span title="2020-04-03">2020</span> <i title="Association for the Advancement of Artificial Intelligence (AAAI)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wtjcymhabjantmdtuptkk62mlq" style="color: black;">PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE</a> </i> &nbsp;
In this work, we propose a novel global constraint to formulate restrictions on the minimum edit distance for such problems.  ...  solvers.  ...  Special thanks go to Georg Faustmann and Jakob Preininger who helped discovering the appearance of string edit distance constraints in paint shop scheduling problems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1609/aaai.v34i02.5530">doi:10.1609/aaai.v34i02.5530</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7m2mko4hcfexnemhwxagwyfs2y">fatcat:7m2mko4hcfexnemhwxagwyfs2y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201104152802/https://aaai.org/ojs/index.php/AAAI/article/download/5530/5386" 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/5f/b1/5fb1f2237dfaa94604fb5d118e3ecb755c75df2f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1609/aaai.v34i02.5530"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Delayed Column Generation Strategy for Exact k-Bounded MAP Inference in Markov Logic Networks [article]

Mathias Niepert
<span title="2012-03-15">2012</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The underlying idea is that, instead of solving one large optimization problem, it is often more efficient to tackle several small ones.  ...  The paper introduces k-bounded MAP inference, a parameterization of MAP inference in Markov logic networks. k-Bounded MAP states are MAP states with at most k active ground atoms of hidden (non-evidence  ...  Thus, after converting the 1 http://oaei.ontologymatching.org concept names to lowercase and removing delimiters and stop-words, we applied a string similarity measure based on the Levensthein distance  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1203.3499v1">arXiv:1203.3499v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4cv7ughmzjfyrlcvlchftgzwvu">fatcat:4cv7ughmzjfyrlcvlchftgzwvu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200905084637/https://arxiv.org/ftp/arxiv/papers/1203/1203.3499.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/6d/8a/6d8a739843947e63072a2244a1df4e3d804b63e1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1203.3499v1" 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>

Semidefinite Optimization [chapter]

<span title="">2014</span> <i title="Springer US"> Computer Vision </i> &nbsp;
/neos/solvers/sdp:csdp/SPARSE_SDPA.html Here one can also submit the optimization problem online.  ...  a base of Rrxs{I.  ...  its canonical base.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-31439-6_100253">doi:10.1007/978-0-387-31439-6_100253</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ooxdgxvxnrfubhmopagjvtpnim">fatcat:ooxdgxvxnrfubhmopagjvtpnim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130409132749/http://www.math.u-bordeaux1.fr/~cbachocb/master2013/master.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/72/26/7226aa1113f3c00a538b37ab9fbb7aa68ebde5c4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-31439-6_100253"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Event structures in knowledge, pictures and text [article]

Michaela Regneri, Universität Des Saarlandes, Universität Des Saarlandes
<span title="2014-01-21">2014</span>
Scripts are essential pieces of common sense knowledge that contain information about everyday scenarios (like going to a restaurant), namely the events that usually happen in a scenario (entering, sitting  ...  A big thank you goes to all the students who worked with me in the past years (as research & teaching assistants, interns, or writing their theses) -in chronological / alphabetical order:  ...  Acknowledgements During the years in which I worked on this thesis, I received invaluable support of several people:  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22028/d291-23633">doi:10.22028/d291-23633</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ov5hd4gwzrf3xhsyslucqgjq6e">fatcat:ov5hd4gwzrf3xhsyslucqgjq6e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200227052351/https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/23689/1/thesis.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/88/51/8851b986ae6828315d8030e20308d24a56d0c63d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22028/d291-23633"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

VALID 2014 Committee VALID Advisory Chairs VALID 2014 Technical Progam Committee

Andrea Baruzzo, Amir Alimohammad, Abel Marrero, Sebastian Wieczorek, Eric Verhulst, Belgium Altreonic, Andrea Baruzzo, Amir Alimohammad, Abel Marrero, Sebastian Wieczorek, Eric Verhulst, Belgium Altreonic (+46 others)
<i > Airbus Group Innovations </i> &nbsp; <span class="release-stage">unpublished</span>
Complex distributed systems with heterogeneous interconnections operating at different speeds and based on various nano-and micro-technologies raise serious problems of testing, diagnosing, and debugging  ...  a series of events focusing on designing robust components and systems with testability for various features of behavior and interconnection.  ...  ACKNOWLEDGMENT The authors would like to thank Alejandro Cardenas, Federico Hernandez Reyes, David Steele, and Dale Robbins for performance measurements on the PCH PCIe uplink and SATA.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nilqupni5rcr3fowy4muxzh5ia">fatcat:nilqupni5rcr3fowy4muxzh5ia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180427060751/http://www.thinkmind.org/download_full.php?instance=VALID+2014" 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/9f/16/9f167dbbc689d677fe7d198b3b416c195a831d1e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>