Sciweavers

    18429 search results - page 406 / 3686
    » Typing dynamic typing
    Sort
    View
    EMNLP
    2011
    161views Natural Language Processing» more  EMNLP 2011»
    A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions
    14 years 6 months ago
    A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions
    Download  wing.comp.nus.edu.sg
    Wei Lu, Hwee Tou Ng
    claim paper
    Read More »
    ENASE
    2011
    180views Hardware» more  ENASE 2011»
    A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies
    14 years 6 months ago
    A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies
    Download  www.di.uniovi.es
    Francisco Ortin, Miguel García
    claim paper
    Read More »
    CSFW
    2012
    IEEE
    224views Security Privacy» more  CSFW 2012»
    Verifying Privacy-Type Properties in a Modular Way
    13 years 9 months ago
    Verifying Privacy-Type Properties in a Modular Way
    Download  www.lsv.ens-cachan.fr
    —Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
    Myrto Arapinis, Vincent Cheval, Stéphanie D...
    claim paper
    Read More »
    180
    Voted
    TOSEM
    2012
    216views Software Engineering» more  TOSEM 2012»
    Type checking annotation-based product lines
    13 years 9 months ago
    Type checking annotation-based product lines
    Download  wwwiti.cs.uni-magdeburg.de
    Christian Kästner, Sven Apel, Thomas Thü...
    claim paper
    Read More »
    ICRA
    2003
    IEEE
    147views Robotics» more  ICRA 2003»
    Design and control of a novel 4-DOFs parallel robot H4
    16 years 4 days ago
    Design and control of a novel 4-DOFs parallel robot H4
    Download  hal.archives-ouvertes.fr
    This paper deals with the design and dynamic control simulation of a new type of 4-DOFs parallel mechanism providing 3 translations and 1 rotation for highspeed handling and machi...
    H. B. Choi, Olivier Company, François Pierr...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.