Abstract

Results: 68258



#Item
911

CHAINS OF SATURATED MODELS IN AECS WILL BONEY AND SEBASTIEN VASEY Abstract. We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove:

Add to Reading List

Source URL: math.harvard.edu

Language: English - Date: 2017-03-09 18:04:58
    912

    On the Power of Randomized Reductions and the Checkability of SAT Mohammad Mahmoody∗ and David Xiao† December 24, 2009 Abstract

    Add to Reading List

    Source URL: www.cs.virginia.edu

    Language: English - Date: 2013-09-26 12:37:23
      913

      An image based dynamic window approach for local navigation of an autonomous vehicle in urban environments Danilo Alves de Lima and Alessandro Corrˆea Victorino Abstract— This paper presents a local navigation strateg

      Add to Reading List

      Source URL: wmepc14.irccyn.ec-nantes.fr

      Language: English - Date: 2014-06-04 11:19:41
        914

        Abstract Preparation Instructions for the PSD-14 Workshop P. Firstauthor1, S.T. Secondauthor1,2 and R.N. Thirdauthor2 1 Name of Institution/Department, City, Country 2 Positron Department, Study University, Dislocation

        Add to Reading List

        Source URL: officepolaris.co.jp

        Language: English - Date: 2014-03-30 09:11:29
          915

          Robust Estimation Using Context-Aware Filtering Radoslav Ivanov1 , Nikolay Atanasov2 , Miroslav Pajic3 , George Pappas2 , and Insup Lee1 Abstract— This paper presents the context-aware filter, an estimation technique t

          Add to Reading List

          Source URL: erl.ucsd.edu

          Language: English - Date: 2018-06-10 00:33:20
            916

            Correspondences Regarding Cryptography between John Nash and the NSA∗ February 20, 2012 Abstract In 1955, well-known mathematician John Nash was in correspondence

            Add to Reading List

            Source URL: web.engr.oregonstate.edu

            Language: English - Date: 2012-02-22 13:07:33
              917

              Abstract Template Abstract Title: XXXXXXX First A. Author, Second B. Author, Jr., Third C. Author 1 First Author Affiliation (University of Cambridge, UK) 2Second Author Affiliation (University of London, UK)

              Add to Reading List

              Source URL: d2cax41o7ahm5l.cloudfront.net

              Language: English - Date: 2018-04-09 09:45:39
                918

                Detecticon: A Prototype Inquiry Dialog System Takuya Hiraoka and Shota Motoura and Kunihiko Sadamasa Abstract A prototype inquiry dialog system, dubbed Detecticon, demonstrates its ability to handle inquiry dialogs, incl

                Add to Reading List

                Source URL: www.colips.org

                Language: English - Date: 2018-04-25 22:28:21
                  919

                  Artificial Intelligence, Computational Logic ABSTRACT ARGUMENTATION Generalizations of Argumentation Frameworks ∗ slides adapted from Stefan Woltran’s lecture on Abstract Argumentation Sarah Gaggl

                  Add to Reading List

                  Source URL: iccl.inf.tu-dresden.de

                  Language: English - Date: 2017-09-29 08:26:27
                    920

                    Testing Strategies For Bridging Time-To-Content In Spoken Dialogue Systems Soledad L´opez Gambino, Sina Zarrieß and David Schlangen Abstract What should dialogue systems do while looking for information or planning the

                    Add to Reading List

                    Source URL: www.colips.org

                    Language: English - Date: 2018-04-25 22:27:29
                      UPDATE