Sciweavers

    6650 search results - page 64 / 1330
    » models 2009
    Sort
    View
    POPL
    2009
    ACM
    102views Programming Languages» more  POPL 2009»
    A foundation for flow-based program matching: using temporal logic and model checking
    16 years 8 months ago
    A foundation for flow-based program matching: using temporal logic and model checking
    Download  www.irit.fr
    Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...
    claim paper
    Read More »
    160
    Voted
    EACL
    2009
    ACL Anthology
    114views Natural Language Processing» more  EACL 2009»
    Web Augmentation of Language Models for Continuous Speech Recognition of SMS Text Messages
    16 years 8 months ago
    Web Augmentation of Language Models for Continuous Speech Recognition of SMS Text Messages
    Download  www.aclweb.org
    Mathias Creutz, Sami Virpioja, Anna Kovaleva
    claim paper
    Read More »
    147
    Voted
    CAV
    2009
    Springer
    123views Hardware» more  CAV 2009»
    Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
    16 years 8 months ago
    Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
    Download  www.cis.upenn.edu
    Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ram...
    claim paper
    Read More »
    HICSS
    2009
    IEEE
    109views Biometrics» more  HICSS 2009»
    Community-Based Recommender Systems: Analyzing Business Models from a Systems Operator's Perspective
    16 years 2 months ago
    Community-Based Recommender Systems: Analyzing Business Models from a Systems Operator's Perspective
    Download  csdl2.computer.org
    Pei-Yu Chen, Yen-Chun Chou, Robert J. Kauffman
    claim paper
    Read More »
    131
    Voted
    HRI
    2009
    ACM
    97views Human Computer Interaction» more  HRI 2009»
    ShadowPlay: a generative model for nonverbal human-robot interaction
    16 years 2 months ago
    ShadowPlay: a generative model for nonverbal human-robot interaction
    Download  www.cs.rpi.edu
    Eric Meisner, Selma Àbanovic, Volkan Isler,...
    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.