Abstract

Results: 68258



#Item
841

On Stochastic Gradient and Subgradient Methods with Adaptive Steplength Sequences Farzad Yousefian, Angelia Nedi´c, and Uday V. Shanbhag Abstract Traditionally, stochastic approximation (SA) schemes have been popular ch

Add to Reading List

Source URL: www.ifp.illinois.edu

Language: English - Date: 2011-05-22 15:08:24
    842

    Tracking and Modeling the Human Hand Jamie Shotton Microsoft Research Cambridge, UK Abstract

    Add to Reading List

    Source URL: iplab.dmi.unict.it

    Language: English - Date: 2017-03-17 10:54:29
      843

      Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata ABSTRACT Extended Linear Duration Invariants (ELDIs), an important subset of Duration Calculus, extends well-studied Linear Dur

      Add to Reading List

      Source URL: user.it.uu.se

      Language: English - Date: 2017-12-22 10:05:56
        844

        Towards Estimation and Correction of Wind Effects on a Quadrotor UAV Fabrizio Schiano∗, Javier Alonso-Mora †, Konrad Rudin‡, Paul Beardsley§, Roland Siegwart¶, Bruno Sicilianok Abstract

        Add to Reading List

        Source URL: www.imavs.org

        Language: English - Date: 2016-10-25 08:53:45
          845

          Seizure Prediction using Undulated Global and Local Features Mohammad Zavid Parvez, Student Member, IEEE and Manoranjan Paul, Senior Member, IEEE  Abstract—In this study a seizure prediction method is proposed based

          Add to Reading List

          Source URL: csusap.csu.edu.au

          Language: English - Date: 2016-04-08 00:00:54
            846

            Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation Kazuhide Yasukata, Takeshi Tsukada, and Naoki Kobayashi The University of Tokyo Abstract. We propose a sound and complete static verificati

            Add to Reading List

            Source URL: www-kb.is.s.u-tokyo.ac.jp

            Language: English - Date: 2016-09-04 18:49:45
              847

              Knowing when to bargain: The roles of negotiation and persuasion in dialogue Simon Wells and Chris Reed Abstract. In this paper two formal dialectic systems are described, a persuasion protocol (PP0 ) and a negotiation p

              Add to Reading List

              Source URL: cmna.csc.liv.ac.uk

              Language: English - Date: 2006-08-09 09:02:18
                848

                Comments on “Jump-like crack growth models or theory of critical distances. Are they correct?” by A Neimitz, ESISNewsletter #44, 20-26, June 2008 P. Cornetti Abstract Aim of the present note is to correct an oversigh

                Add to Reading List

                Source URL: www.structuralintegrity.eu

                Language: English - Date: 2017-05-19 06:01:53
                  849

                  Small Station EME at 10 and 24 GHz: GPS Locking, Doppler Correction, and JT4 Rex Moncur, VK7MO, and Joe Taylor, K1JT Abstract GPS frequency locking and automatic Doppler correction, together with a recently improved

                  Add to Reading List

                  Source URL: physics.princeton.edu

                  Language: English - Date: 2013-12-16 10:16:17
                    850

                    J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

                    Add to Reading List

                    Source URL: formal.hknu.ac.kr

                    Language: English - Date: 2018-03-08 05:11:17
                      UPDATE