×

Found 10,864 Documents (Results 1–100)

Towards the evaluation of action reversibility in STRIPS using domain generators. (English) Zbl 07630648

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 226-236 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Properties of system W and its relationships to other inductive inference operators. (English) Zbl 07630647

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 206-225 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Optimizing multiset relational algebra queries using weak-equivalent rewrite rules. (English) Zbl 07630646

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 187-205 (2022).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI

The fault-tolerant cluster-sending problem. (English) Zbl 07630645

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 168-186 (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Approximate keys and functional dependencies in incomplete databases with limited domains. (English) Zbl 07630644

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 147-167 (2022).
PDF BibTeX XML Cite
Full Text: DOI

The implication problem for functional dependencies and variants of marginal distribution equivalences. (English) Zbl 07630643

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 130-146 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Can you answer while you wait? (English) Zbl 07630642

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 111-129 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Statistics of RDF store for querying knowledge graphs. (English) Zbl 07630641

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 93-110 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Database repair via event-condition-action rules in dynamic logic. (English) Zbl 07630640

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 75-92 (2022).
PDF BibTeX XML Cite
Full Text: DOI

A graph based semantics for logical functional diagrams in power plant controllers. (English) Zbl 07630639

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 55-74 (2022).
PDF BibTeX XML Cite
Full Text: DOI

On the expressive power of message-passing neural networks as global feature map transformers. (English) Zbl 07630637

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 20-34 (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On sampling representatives of relational schemas with a functional dependency. (English) Zbl 07630636

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 1-19 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Advances in databases and information systems. 26th European conference, ADBIS 2022, Turin, Italy, September 5–8, 2022. Proceedings. (English) Zbl 1503.68014

Lecture Notes in Computer Science 13389. Cham: Springer (ISBN 978-3-031-15739-4/pbk; 978-3-031-15740-0/ebook). xxiii, 408 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. (English) Zbl 1499.68028

Lecture Notes in Computer Science 13388. Cham: Springer (ISBN 978-3-031-11320-8/pbk; 978-3-031-11321-5/ebook). xviii, 237 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Encrypted SQL arithmetic functions processing for secure cloud database. (English) Zbl 1499.68054

Batina, Lejla (ed.) et al., Security, privacy, and applied cryptography engineering. 11th international conference, SPACE 2021, Kolkata, India, December 10–13, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13162, 207-225 (2022).
PDF BibTeX XML Cite
Full Text: DOI

25th international conference on database theory, ICDT 2022, Edinburgh, UK, virtual conference, March 29 – April 1, 2022. (English) Zbl 1483.68011

LIPIcs – Leibniz International Proceedings in Informatics 220. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-223-5). xv, 19 articles, not consecutively paged, electronic only, open access (2022).
MSC:  68-06 68P15 00B25
PDF BibTeX XML Cite
Full Text: DOI Link

Linguistic descriptions of data via fuzzy formal concept analysis. (English) Zbl 1471.68276

Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 119-125 (2022).
MSC:  68T30 68P15
PDF BibTeX XML Cite
Full Text: DOI

Utilizing minimum set-cover structures with several constraints for knowledge discovery on large literature databases. (English) Zbl 1497.68150

Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the 12th international workshop on computational optimization (WCO), Leipzig, Germany, September 1–4, 2019. Cham: Springer. Stud. Comput. Intell. 920, 49-69 (2021).
MSC:  68P15 68T50 90C90
PDF BibTeX XML Cite
Full Text: DOI

Accelerating program analyses in Datalog by merging library facts. (English) Zbl 1497.68085

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 77-101 (2021).
MSC:  68N15 68N17 68P15
PDF BibTeX XML Cite
Full Text: DOI

Attribute reduction using functional dependency relations in rough set theory. (English) Zbl 1495.68231

Ramanna, Sheela (ed.) et al., Rough sets. International joint conference, IJCRS 2021, Bratislava, Slovakia, September 19–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12872, 90-96 (2021).
MSC:  68T37 68P15
PDF BibTeX XML Cite
Full Text: DOI

Some aspects of the database resilience. (English) Zbl 07500636

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 39-46 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails. (English) Zbl 1490.68151

Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 608-622 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Translation of interactive Datalog programs for microcontrollers to finite state machines. (English) Zbl 07496649

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 210-227 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Improved structured encryption for SQL databases via hybrid indexing. (English) Zbl 1489.68074

Sako, Kazue (ed.) et al., Applied cryptography and network security. 19th international conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12727, 480-510 (2021).
MSC:  68P15 68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI

Mining frequent items in a product of partial orders using parallel calculations. (English. Russian original) Zbl 07461089

Autom. Remote Control 82, No. 10, 1641-1650 (2021); translation from Avtom. Telemekh. 2021, No. 10, 13-24 (2021).
MSC:  62-XX 68-XX
PDF BibTeX XML Cite
Full Text: DOI

The safari of update structures: visiting the lens and quantum enclosures. (English) Zbl 1477.18015

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 1-18 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

Query lifting. Language-integrated query for heterogeneous nested collections. (English) Zbl 1473.68067

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 579-606 (2021).
MSC:  68P15 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Checking robustness between weak transactional consistency models. (English) Zbl 1473.68063

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 87-117 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Periodic pattern mining. Theory, algorithms, and applications. (English) Zbl 1476.68013

Singapore: Springer (ISBN 978-981-16-3963-0/hbk; 978-981-16-3966-1/pbk; 978-981-16-3964-7/ebook). viii, 263 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Advances in databases and information systems. 25th European conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021. Proceedings. (English) Zbl 1486.68012

Lecture Notes in Computer Science 12843. Cham: Springer (ISBN 978-3-030-82471-6/pbk; 978-3-030-82472-3/ebook). xxi, 289 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Analyzing the models of speech recognition on the basis of neural networks of deep learning for examination of digital phonograms. (English. Russian original) Zbl 07378049

Cybern. Syst. Anal. 57, No. 1, 133-138 (2021); translation from Kibern. Sist. Anal. 57, No. 1, 153-159 (2021).
MSC:  68-XX 92-XX
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

Main Field

all top 3

Software