Marcin

Results: 540



#Item
11Succinct progress measures for solving parity games Marcin Jurdzi´nski and Ranko Lazi´c DIMAP, Department of Computer Science, University of Warwick, UK edges: (at least) one edge outgoing from each vertex owned by Eve

Succinct progress measures for solving parity games Marcin Jurdzi´nski and Ranko Lazi´c DIMAP, Department of Computer Science, University of Warwick, UK edges: (at least) one edge outgoing from each vertex owned by Eve

Add to Reading List

Source URL: highlights-conference.org

Language: English - Date: 2018-01-09 12:37:01
    12The smartAPI ecosystem for making web APIs FAIR Shima Dastgheib1 , Trish Whetzel2 , Amrapali Zaveri1,3 , Cyrus Afrasiabi4 , Pedro Assis5 , Paul Avillach6 , Kathleen Jagodnik7 , Gabor Korodi6 , Marcin Pilarczyk8 , Jeff De

    The smartAPI ecosystem for making web APIs FAIR Shima Dastgheib1 , Trish Whetzel2 , Amrapali Zaveri1,3 , Cyrus Afrasiabi4 , Pedro Assis5 , Paul Avillach6 , Kathleen Jagodnik7 , Gabor Korodi6 , Marcin Pilarczyk8 , Jeff De

    Add to Reading List

    Source URL: iswc2017.semanticweb.org

    Language: English - Date: 2017-10-04 11:59:44
      13Quantifiers and Working Memory Jakub Szymanik1 and Marcin Zajenkowski2 1 Department of Philosophy, Utrecht University

      Quantifiers and Working Memory Jakub Szymanik1 and Marcin Zajenkowski2 1 Department of Philosophy, Utrecht University

      Add to Reading List

      Source URL: jakubszymanik.com

      Language: English - Date: 2011-03-21 08:58:36
        14Affect Listeners. Acquisition of Affective States by means of Conversational Systems Marcin Skowron Austrian Research Institute for Artificial Intelligence, Freyung 6, 1010 Vienna, Austria

        Affect Listeners. Acquisition of Affective States by means of Conversational Systems Marcin Skowron Austrian Research Institute for Artificial Intelligence, Freyung 6, 1010 Vienna, Austria

        Add to Reading List

        Source URL: 193.171.142.190

        Language: English - Date: 2009-12-30 09:10:47
          15Translation Quality Checking in LanguageTool Marcin Miłkowski Abstract: In large computer-aided translation (CAT) projects, especially in software localization, one of the main problems is to maintain the consistent sty

          Translation Quality Checking in LanguageTool Marcin Miłkowski Abstract: In large computer-aided translation (CAT) projects, especially in software localization, one of the main problems is to maintain the consistent sty

          Add to Reading List

          Source URL: www.marcinmilkowski.pl

          Language: English - Date: 2012-11-19 12:24:58
            16Automating rule generation for grammar checkers Marcin Miłkowski Polish Academy of Sciences 1. Introduction In this paper, I describe several approaches to automatic or semiautomatic development of symbolic rules for gr

            Automating rule generation for grammar checkers Marcin Miłkowski Polish Academy of Sciences 1. Introduction In this paper, I describe several approaches to automatic or semiautomatic development of symbolic rules for gr

            Add to Reading List

            Source URL: marcinmilkowski.pl

            Language: English - Date: 2012-11-28 14:09:59
              17A Comparison of Data Structures to Manage URIs on the Web of Data Ruslan Mavlyutov, Marcin Wylot, and Philippe Cudre-Mauroux eXascale Infolab, University of Fribourg—Switzerland {firstname.lastname}@unifr.ch

              A Comparison of Data Structures to Manage URIs on the Web of Data Ruslan Mavlyutov, Marcin Wylot, and Philippe Cudre-Mauroux eXascale Infolab, University of Fribourg—Switzerland {firstname.lastname}@unifr.ch

              Add to Reading List

              Source URL: exascale.info

              Language: English - Date: 2018-08-13 10:03:19
                18Sex differences in preening behaviour in the White Stork Ciconia ciconia Katarzyna Maria ZOLNIEROWICZ 1*, Marketa ONDROVA-NYKLOWA 2, Marcin TOBOLKA 1 Institute of Zoology, Poznań University of Life Sciences, Wojska Pols

                Sex differences in preening behaviour in the White Stork Ciconia ciconia Katarzyna Maria ZOLNIEROWICZ 1*, Marketa ONDROVA-NYKLOWA 2, Marcin TOBOLKA 1 Institute of Zoology, Poznań University of Life Sciences, Wojska Pols

                Add to Reading List

                Source URL: www.zoologie.upol.cz

                Language: English
                  19ICEPOLE v2: High-speed, Hardware-oriented Authenticated Encryption Scheme Pawel Morawiecki 1 Kris Gaj3 Ekawat Homsirikamol3 Krystian Matusiewicz6 Josef Pieprzyk1,2 Marcin Rogawski5 Marian Srebrny1 Marcin W´ ojcik4

                  ICEPOLE v2: High-speed, Hardware-oriented Authenticated Encryption Scheme Pawel Morawiecki 1 Kris Gaj3 Ekawat Homsirikamol3 Krystian Matusiewicz6 Josef Pieprzyk1,2 Marcin Rogawski5 Marian Srebrny1 Marcin W´ ojcik4

                  Add to Reading List

                  Source URL: www1.spms.ntu.edu.sg

                  Language: English - Date: 2015-10-04 23:56:38
                    20tekst i dyskurs – text und diskurs 7, 2014 Marcin Miodek (Wrocław) Obraz niemieckiego oporu antyhitlerowskiego ze szczególnym uwzględnieniem Kręgu z Krzyżowej

                    tekst i dyskurs – text und diskurs 7, 2014 Marcin Miodek (Wrocław) Obraz niemieckiego oporu antyhitlerowskiego ze szczególnym uwzględnieniem Kręgu z Krzyżowej

                    Add to Reading List

                    Source URL: tekst-dyskurs.eu

                    Language: Polish - Date: 2018-05-25 07:17:23