×

Found 190 Documents (Results 1–100)

A probabilistic approach to analyzing agent relations in three-way conflict analysis based on Bayesian confirmation. (English) Zbl 1524.68385

Yao, JingTao (ed.) et al., Rough sets. International joint conference, IJCRS 2022, Suzhou, China, November 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13633, 319-333 (2022).
MSC:  68T42 68T37
PDFBibTeX XMLCite
Full Text: DOI

On the effect of learned clauses on stochastic local search. (English) Zbl 07331014

Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12178, 89-106 (2020).
MSC:  68Q25 68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Exploring conflict reasons for graph transformation systems. (English) Zbl 1429.68090

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 75-92 (2019).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Verification of asynchronous programs with nested locks. (English) Zbl 1491.68105

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 11, 14 p. (2018).
MSC:  68Q60 68N30 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Approximation algorithms for two-machine flow-shop scheduling with a conflict graph. (English) Zbl 1509.68197

Wang, Lusheng (ed.) et al., Computing and combinatorics. 24th international conference, COCOON 2018, Qing Dao, China, July 2–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10976, 205-217 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Detecting ambiguity in prioritized database repairing. (English) Zbl 1402.68050

Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 17, 20 p. (2017).
MSC:  68P15 68Q17 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Reachability for dynamic parametric processes. (English) Zbl 1484.68143

Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 424-441 (2017).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Matrix resolving functions in game problems of dynamics. (English. Russian original) Zbl 1344.49062

Proc. Steklov Inst. Math. 291, Suppl. 1, S56-S65 (2015); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 20, No. 3, 324-333 (2014).
MSC:  49N70 49J53 91A23
PDFBibTeX XMLCite
Full Text: DOI

Abstract conflict driven learning. (English) Zbl 1301.68156

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 143-154 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Set-valued mappings in game dynamic problems. (English) Zbl 1297.49067

Burenkov, V. I. (ed.) et al., Progress in analysis. Proceedings of the 8th congress of the International Society for Analysis, its Applications, and Computation (ISAAC), Moscow, Russia, August 22–27, 2011. Volume 2. Moscow: Peoples’ Friendship University of Russia (ISBN 978-5-209-04590-8/hbk). 142-155 (2012).
PDFBibTeX XMLCite

Strong conflict-free coloring for intervals. (English) Zbl 1260.05158

Chao, Kun-Mao (ed.) et al., Algorithms and computation. 23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19–21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-35260-7/pbk). Lecture Notes in Computer Science 7676, 4-13 (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Conflict interpretation in a belief interval based framework. (English) Zbl 1209.68551

Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and methods. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part I. Berlin: Springer (ISBN 978-3-642-14054-9/pbk; 978-3-642-14055-6/ebook). Communications in Computer and Information Science 80, 199-208 (2010).
MSC:  68T37 68T20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software