×

Found 159 Documents (Results 1–100)

100
MathJax

Sublinear-time reductions for big data computing. (English) Zbl 07550538

Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 374-388 (2021).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI arXiv

An abstract machine for strong call by value. (English) Zbl 1476.68047

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 147-166 (2020).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

Matrix multiplication: verifying strong uniquely solvable puzzles. (English) Zbl 07331039

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, 464-480 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI

Simplifying CDCL clause database reduction. (English) Zbl 1441.68227

Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 183-192 (2019).
MSC:  68T20 68P15
PDF BibTeX XML Cite
Full Text: DOI

An algorithm for reducing approximate nearest neighbor to approximate near neighbor with \(O(\log{n})\) query time. (English) Zbl 07116399

Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11346, 465-479 (2018).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI arXiv

CDCLSym: introducing effective symmetry breaking in SAT solving. (English) Zbl 1423.68462

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 99-114 (2018).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI

Attribute reduction in utility-based decision-theoretic rough set models. (English) Zbl 1489.68312

Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10314, 368-375 (2017).
MSC:  68T37 62C12 68T20
PDF BibTeX XML Cite
Full Text: DOI

The 2CNF Boolean formula satisfiability problem and the linear space hypothesis. (English) Zbl 1441.68102

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 62, 14 p. (2017).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Reduced basis approximations for Maxwell’s equations in dispersive media. (English) Zbl 1388.78018

Benner, Peter (ed.) et al., Model reduction of parametrized systems. Selected contributions based on the presentations at the MoRePaS conference, SISSA, Trieste, Italy, October 13–16, 2015. Cham: Springer (ISBN 978-3-319-58785-1/hbk; 978-3-319-58786-8/ebook). MS&A. Modeling, Simulation and Applications 17, 107-119 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Existence of evolutionarily stable strategies remains hard to decide for a wide range of payoff values. (English) Zbl 1487.91012

Fotakis, Dimitris (ed.) et al., Algorithms and complexity. 10th international conference, CIAC 2017, Athens, Greece, May 24–26, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10236, 418-429 (2017).
MSC:  91A22 68Q17
PDF BibTeX XML Cite
Full Text: DOI arXiv

Approximate reduction for the interval-valued decision table. (English) Zbl 1323.68468

Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 89-100 (2014).
MSC:  68T20 68T37
PDF BibTeX XML Cite
Full Text: DOI

Weak optimality, and the meaning of sharing. (English) Zbl 1323.68094

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 263-274 (2013).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

Normalisation for dynamic pattern calculi. (English) Zbl 1437.68040

Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 117-132 (2012).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

A new method of attribute reduction and prediction in fuzzy decision system. (English) Zbl 1202.68391

Huang, De-Shuang (ed) et al., Advanced intelligent computing theories and applications. 6th international conference on intelligent computing, Changsha, China, August 18–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14830-9/pbk; 978-3-642-14831-6/ebook). Communications in Computer and Information Science 93, 48-52 (2010).
MSC:  68T20 68T37
PDF BibTeX XML Cite
Full Text: DOI

Artificial intelligence applications and innovations. 6th IFIP WG 12.5 international conference, AIAI 2010, Larnaca, Cyprus, October 6–7, 2010. Proceedings. (English) Zbl 1202.68319

IFIP Advances in Information and Communication Technology 339. Berlin: Springer (ISBN 978-3-642-16238-1/hbk; 978-3-642-16239-8/ebook). xvi, 404 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI

An improved ant colony optimization applied to attributes reduction. (English) Zbl 1211.68379

Cao, Bing-yuan (ed.) et al., Fuzzy information and engineering. Vol. 1. Proceedings of the third annual conference on fuzzy information and engineering (ACFIE 2008), Haikou, China, December 5–10, 2008. Berlin: Springer (ISBN 978-3-540-88913-7/pbk; 978-3-540-88914-4/ebook). Advances in Soft Computing 54, 1-6 (2009).
MSC:  68T20 90C27 90C59
PDF BibTeX XML Cite
Full Text: DOI

Token-passing nets for functional languages. (English) Zbl 1279.68044

Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 181-198 (2008).
MSC:  68N18 03B40 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Towards a sharing strategy for the graph rewriting calculus. (English) Zbl 1279.68111

Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 111-127 (2008).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI

A tentative approach to minimal reducts by combining several algorithms. (English) Zbl 1159.68538

Huang, De-Shuang (ed.) et al., Advanced intelligent computing theories and applications. With aspects of contemporary intelligent computing techniques. 4th international conference on intelligent computing, ICIC 2008 Shanghai, China, September 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85929-1/pbk). Communications in Computer and Information Science 15, 118-124 (2008).
MSC:  68T05 68T10 68T20
PDF BibTeX XML Cite

Programmed strategies for program verification. (English) Zbl 1277.68057

Antoy, Sergio (ed.), Proceedings of the sixth international workshop on reduction strategies in rewriting and programming (WRS 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 10, 3-38 (2007).
MSC:  68N30 68N18 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI

A bidirectional greedy heuristic for the subspace selection problem. (English) Zbl 1134.68496

Stützle, Thomas (ed.) et al., Engineering stochastic local search algorithms. Designing, implementing and analyzing effective heuristics. International workshop, SLS 2007, Brussels, Belgium, September 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74445-0/pbk). Lecture Notes in Computer Science 4638, 162-176 (2007).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software