×

Found 167 Documents (Results 1–100)

Compatibility of convergence algorithms for autonomous mobile robots (extended abstract). (English) Zbl 07786519

Rajsbaum, Sergio (ed.) et al., Structural information and communication complexity. 30th international colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13892, 149-164 (2023).
MSC:  68Mxx 68Q11 68R10
PDFBibTeX XMLCite
Full Text: DOI

On star-multi-interval pairwise compatibility graphs. (English) Zbl 07770298

Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 267-278 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Compatible spanning trees in simple drawings of \(K_n\). (English) Zbl 07727749

Angelini, Patrizio (ed.) et al., Graph drawing and network visualization. 30th international symposium, GD 2022, Tokyo, Japan, September 13–16, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13764, 16-24 (2023).
MSC:  68R10 68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Disjoint compatibility via graph classes. (English) Zbl 07682398

Bekos, Michael A. (ed.) et al., Graph-theoretic concepts in computer science. 48th international workshop, WG 2022, Tübingen, Germany, June 22–24, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13453, 16-28 (2022).
MSC:  68R10
PDFBibTeX XMLCite
Full Text: DOI

Incentive compatible active learning. (English) Zbl 07650415

Vidick, Thomas (ed.), 11th innovations in theoretical computer science conference, ITCS 2020, Seattle, Washington, USA, January 12–14, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 151, Article 67, 20 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Linear-time recognition of double-threshold graphs. (English) Zbl 07636213

Adler, Isolde (ed.) et al., Graph-theoretic concepts in computer science. 46th international workshop, WG 2020, Leeds, UK, June 24–26, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12301, 286-297 (2020).
MSC:  68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Session subtyping and multiparty compatibility using circular sequents. (English) Zbl 07559468

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 12, 22 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

On the enumeration of minimal non-pairwise compatibility graphs. (English) Zbl 07336119

Kim, Donghyun (ed.) et al., Computing and combinatorics. 26th international conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12273, 372-383 (2020).
MSC:  68Rxx
PDFBibTeX XMLCite
Full Text: DOI

A performance-based scheme for pricing resources in the cloud. (English) Zbl 1405.91205

Devanur, Nikhil R. (ed.) et al., Web and internet economics. 13th international conference, WINE 2017, Bangalore, India, December 17–20, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-71923-8/pbk; 978-3-319-71924-5/ebook). Lecture Notes in Computer Science 10660, 281-293 (2017).
MSC:  91B24 68M11 91-04
PDFBibTeX XMLCite
Full Text: DOI arXiv

Multi-interval pairwise compatibility graphs (extended abstract). (English) Zbl 1485.68170

Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 71-84 (2017).
MSC:  68R10 05C62 92D15
PDFBibTeX XMLCite
Full Text: DOI

Publish or perish: a backward-compatible defense against selfish mining in bitcoin. (English) Zbl 1383.94051

Handschuh, Helena (ed.), Topics in cryptology – CT-RSA 2017. The cryptographers’ track at the RSA conference 2017, San Francisco, CA, USA, February 14–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52152-7/pbk; 978-3-319-52153-4/ebook). Lecture Notes in Computer Science 10159, 277-292 (2017).
MSC:  94A60 68P25
PDFBibTeX XMLCite
Full Text: DOI

Post-quantum forward-secure onion routing (future anonymity in today’s budget). (English) Zbl 1459.68009

Malkin, Tal (ed.) et al., Applied cryptography and network security. 13th international conference, ACNS 2015, New York, NY, USA, June 2–5, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9092, 263-286 (2015).
MSC:  68M10 68M12 94A60
PDFBibTeX XMLCite
Full Text: DOI

Revenue maximization with nonexcludable goods. (English) Zbl 1406.91136

Chen, Yiling (ed.) et al., Web and internet economics. 9th international conference, WINE 2013, Cambridge, MA, USA, December 11–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45045-7/pbk). Lecture Notes in Computer Science 8289, 40-53 (2013).
PDFBibTeX XMLCite
Full Text: DOI

On the structure of compatible rational functions. (English) Zbl 1323.68590

Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 91-98 (2011).
MSC:  68W30 33F10
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

An impossibility result for truthful combinatorial auctions with submodular valuations. (English) Zbl 1288.91081

Proceedings of the 43rd annual ACM symposium on theory of computing, STOC ’11. San Jose, CA, USA, June 6–8, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0691-1). 139-148 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimal auctions with correlated bidders are easy. (English) Zbl 1288.91102

Proceedings of the 43rd annual ACM symposium on theory of computing, STOC ’11. San Jose, CA, USA, June 6–8, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0691-1). 129-138 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bayesian algorithmic mechanism design. (English) Zbl 1293.91085

Proceedings of the 42nd annual ACM symposium on theory of computing, STOC ’10. Cambridge, MA, USA, June 5–8, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-817-9). 301-310 (2010).
MSC:  91B26 68T42 68W25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Checking protocol compatibility using Maude. (English) Zbl 1364.68282

Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 65-81 (2009).
PDFBibTeX XMLCite
Full Text: Link

Identifying query incompatibilities with evolving XML schemas. (English) Zbl 1302.68089

Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 221-230 (2009).
MSC:  68N30 68P05
PDFBibTeX XMLCite
Full Text: DOI Link

Continuity of compatibility function based on \(t\)-operation. (English) Zbl 1191.68687

Cao, Bingyuan (ed.) et al., Fuzzy information and engineering. Vol. 2. Proceedings of the third international conference on fuzzy information and engineering (ICFIE 2009), Chongqing, China, September 26–29, 2009. Berlin: Springer (ISBN 978-3-642-03663-7/pbk; 978-3-642-03664-4/ebook). Advances in Intelligent and Soft Computing 62, 639-645 (2009).
MSC:  68T37 03E72
PDFBibTeX XMLCite
Full Text: DOI

Truthful randomized mechanisms for combinatorial auctions. (English) Zbl 1300.91033

Kleinberg, Jon M. (ed.), Proceedings of the 38th annual ACM symposium on theory of computing, STOC 2006. Seattle, WA, USA, May 21–23, 2006. New York, NY: ACM Press (ISBN 1-59593-134-1). 644-652 (2006).
MSC:  91B26 91A46 68W25
PDFBibTeX XMLCite
Full Text: DOI Link

Affine transformation method in automatic image registration. (English) Zbl 1121.94008

Liu, Fengshan (ed.) et al., Advances in applied and computational mathematics. Selected papers based on the presentations at the applied mathematics summer workshop, Dover, DE, USA, August 18–20, 2005. New York, NY: Nova Science Publishers (ISBN 1-60021-358-8/hbk). 133-139 (2006).
MSC:  94A08 68U10 94A12
PDFBibTeX XMLCite

CRST: A generalization of rough set theory. (English) Zbl 1134.68535

Ślȩzak, Dominik (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 – September 3, 2005. Proceedings, Part I. Berlin: Springer (ISBN 3-540-28653-5/pbk). Lecture Notes in Computer Science 3641. Lecture Notes in Artificial Intelligence, 364-372 (2005).
MSC:  68T37
PDFBibTeX XMLCite
Full Text: DOI

Specification faithfulness in networks with rational nodes. (English) Zbl 1322.91012

Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC ’04, St. Johns, Newfoundland, Canada, July 25–28, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-802-4). 88-97 (2004).
PDFBibTeX XMLCite
Full Text: DOI Link

Towards incentive-compatible reputation management. (English) Zbl 1035.68617

Falcone, Rino (ed.) et al., Trust, reputation, and security: Theories and practice. AAMAS 2002 international workshop, Bologna, Italy, July 15, 2002. Selected and invited papers. Berlin: Springer (ISBN 3-540-00988-4/pbk). Lect. Notes Comput. Sci. 2631, 138-147 (2003).
MSC:  68U99 68T05 68P25
PDFBibTeX XMLCite
Full Text: Link

Input/output compatibility of reactive systems. (English) Zbl 1019.68616

Aagaard, Mark D. (ed.) et al., Formal methods in computer-aided design. 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2517, 360-377 (2002).
MSC:  68U07 68Q85
PDFBibTeX XMLCite
Full Text: Link

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