C--

Results: 504177



#Item
71

ESTABLI SHMENT OF THE NETWORK OF SPECI ALI ZED ELECTRI C CHARGI

Add to Reading List

Source URL: vionusa.com

Language: English - Date: 2018-09-11 17:56:54
    72Artificial intelligence / Robotics / Machine learning / Robot / Humanrobot interaction / Motion planning / Automated planning and scheduling / Mobile robot / Simultaneous localization and mapping / Cognitive robotics / Ayorkor Korsah / Cloud robotics

    Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada

    Add to Reading List

    Source URL: icaps16.icaps-conference.org

    Language: English - Date: 2016-06-09 08:09:20
    73

    V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

    Add to Reading List

    Source URL: mebsout.github.io

    Language: French - Date: 2017-07-21 11:03:15
      74Marketing / Merchandising / Retail / Marketplace

      Category C - Retail Permitted Business Activities Table of Contents

      Add to Reading List

      Source URL: www.adgm.com

      Language: English - Date: 2017-05-10 01:20:50
      75C / Data types / Software engineering / Computing / Computer programming / Pointer / Compatibility of C and C++ / Const / Typedef

      A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

      Add to Reading List

      Source URL: seahorn.github.io

      Language: English - Date: 2018-08-03 20:31:21
      76

      c/o 50Hertz Transmission GmbH Projektleitung: Markus Graebig (V.i.S.d.P.) HeidestraßeBerlin T +

      Add to Reading List

      Source URL: www.windnode.de

      Language: German - Date: 2018-07-26 11:50:25
        77Piqua /  Ohio / Newton /  Massachusetts / Geography of the United States / Geography of Massachusetts / Massachusetts House of Representatives

        Form No. 120 Prescribed by Secretary of StateElection Notice for use With the Federal Write-In Absentee Ballot (FWAB) R.C

        Add to Reading List

        Source URL: miami.ohioboe.com

        Language: English - Date: 2018-10-24 16:53:20
        78Information theory / Mathematics / K-means clustering / Adjusted mutual information / Hierarchical clustering / Applied mathematics / Algorithm / Mutual information / Machine learning / Cognitive science / Consensus clustering / Cluster analysis

        Feature Engineering for Clustering Student Solutions Elena L. Glassman Rishabh Singh Robert C. Miller MIT CSAIL, 32 Vassar St. Cambridge, MA {elg,rishabhs,rcm}@mit.edu

        Add to Reading List

        Source URL: rishabhmit.bitbucket.io

        Language: English - Date: 2018-06-25 09:59:57
        79Theoretical computer science / Computational complexity theory / Mathematics / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / Conflict-driven clause learning / Satisfiability modulo theories / Unit propagation

        The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett

        Add to Reading List

        Source URL: csl.sri.com

        Language: English - Date: 2014-06-27 12:47:14
        UPDATE