×

Found 318 Documents (Results 1–100)

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the expressiveness of languages for complex event recognition. (English) Zbl 07650993

Lutz, Carsten (ed.) et al., 23rd international conference on database theory, ICDT 2020, Copenhagen, Denmark, March 30 – April 2, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 155, Article 15, 17 p. (2020).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI

Towards streaming evaluation of queries with correlation in complex event processing. (English) Zbl 07650992

Lutz, Carsten (ed.) et al., 23rd international conference on database theory, ICDT 2020, Copenhagen, Denmark, March 30 – April 2, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 155, Article 14, 17 p. (2020).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI

When can matrix query languages discern matrices? (English) Zbl 07650990

Lutz, Carsten (ed.) et al., 23rd international conference on database theory, ICDT 2020, Copenhagen, Denmark, March 30 – April 2, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 155, Article 12, 18 p. (2020).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI

On the expressiveness of LARA: a unified language for linear and relational algebra. (English) Zbl 07650984

Lutz, Carsten (ed.) et al., 23rd international conference on database theory, ICDT 2020, Copenhagen, Denmark, March 30 – April 2, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 155, Article 6, 20 p. (2020).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI

A trichotomy for regular trail queries. (English) Zbl 07650892

Paul, Christophe (ed.) et al., 37th international symposium on theoretical aspects of computer science, STACS 2020, Montpellier, France, March 10–13, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 154, Article 7, 16 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Space-efficient query evaluation over probabilistic event streams. (English) Zbl 1506.68035

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 74-87 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Graphical conjunctive queries. (English) Zbl 1528.68098

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 13, 23 p. (2018).
MSC:  68P15 18C50 18N10
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the expressive power of query languages for matrices. (English) Zbl 1489.68071

Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 98, Article 10, 17 p. (2018).
MSC:  68P15 68P05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Combined tractability of query evaluation via tree automata and cycluits. (English) Zbl 1402.68039

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 6, 19 p. (2017).
MSC:  68P15 68Q25 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Beyond well-designed SPARQL. (English) Zbl 1369.68187

Martens, Wim (ed.) et al., 19th international conference on database theory, ICDT ’16, Bordeaux, France, March 15–18, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-002-6). LIPIcs – Leibniz International Proceedings in Informatics 48, Article 5, 18 p. (2016).
MSC:  68P15 68Q25
PDFBibTeX XMLCite
Full Text: DOI

CONSTRUCT queries in SPARQL. (English) Zbl 1365.68210

Arenas, Marcelo (ed.) et al., 18th international conference on database theory, ICDT’15, Brussels, Belgium, March 23–27, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-79-8). LIPIcs – Leibniz International Proceedings in Informatics 31, 212-229 (2015).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI

On the efficiency of query-subquery nets with right/tail-recursion elimination in evaluating queries to Horn knowledge bases. (English) Zbl 1336.68054

Thi, Hoai An Le (ed.) et al., Advanced computational methods for knowledge engineering. Proceedings of 3rd international conference on computer science, applied mathematics and applications – ICCSAMA 2015. Extended versions of papers, Metz, France, May 11–13, 2015. Cham: Springer (ISBN 978-3-319-17995-7/pbk; 978-3-319-17996-4/ebook). Advances in Intelligent Systems and Computing 358, 243-254 (2015).
MSC:  68P15 68T35
PDFBibTeX XMLCite
Full Text: DOI

MSO queries on trees: enumerating answers under updates. (English) Zbl 1401.68064

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 67, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Provenance propagation in complex queries. (English) Zbl 1397.68050

Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 483-493 (2013).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI

Determinacy and subsumption for single-valued bottom-up tree transducers. (English) Zbl 1302.68164

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 335-346 (2013).
MSC:  68Q45 68Q42 68P15
PDFBibTeX XMLCite
Full Text: DOI Link

MAT learning of universal automata. (English) Zbl 1333.68152

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 141-152 (2013).
MSC:  68Q32 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Streamable fragments of forward XPath. (English) Zbl 1297.68129

Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13–16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 3-15 (2011).
MSC:  68Q45 68M11 68P15
PDFBibTeX XMLCite
Full Text: DOI

Correction queries in active learning. (English) Zbl 1253.68191

Martín-Vide, Carlos (ed.), Scientific applications of language methods. London: Imperial College Press (ISBN 978-1-84816-544-1/hbk; 978-1-84816-545-8/ebook). Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory 2, 387-419 (2011).
MSC:  68Q32 68Q45
PDFBibTeX XMLCite

Querying the fragments of English. (English) Zbl 1326.68298

Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 257-271 (2011).
MSC:  68T50 68Q17 68Q25 68T15 68T35
PDFBibTeX XMLCite
Full Text: DOI

Types of trusted information that make DFA identification with correction queries feasible. (English) Zbl 1297.68099

Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 272-281 (2011).
MSC:  68Q32 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Bidirectionalizing graph transformations. (English) Zbl 1323.68075

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 205-216 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Write it recursively: a generic framework for optimal path queries. (English) Zbl 1323.68422

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 169-178 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about XML with temporal logics and automata. (English) Zbl 1182.68123

Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 97-112 (2008).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

A note on the relationship between different types of correction queries. (English) Zbl 1177.68125

Clark, Alexander (ed.) et al., Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88008-0/pbk). Lecture Notes in Computer Science 5278. Lecture Notes in Artificial Intelligence, 213-223 (2008).
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