Sciweavers

    2602 search results - page 461 / 521
    » Semantic Analysis of 'to'
    Sort
    View
    REX
    1991
    91views Logical Reasoning» more  REX 1991»
    From Timed to Hybrid Systems
    14 years 1 months ago
    From Timed to Hybrid Systems
    Download  www-verimag.imag.fr
    We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
    Oded Maler, Zohar Manna, Amir Pnueli
    claim paper
    Read More »
    COMGEO
    2010
    ACM
    214views Applied Computing» more  COMGEO 2010»
    Access control systems for spatial data infrastructures and their administration
    14 years 1 months ago
    Access control systems for spatial data infrastructures and their administration
    Download  www.gsdi.org
    Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
    Jan Herrmann
    claim paper
    Read More »
    COORDINATION
    2009
    Springer
    117views Distributed And Parallel Com...» more  COORDINATION 2009»
    From Coordination to Stochastic Models of QoS
    14 years 1 months ago
    From Coordination to Stochastic Models of QoS
    Download  www.cs.vu.nl
    Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
    Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Me...
    claim paper
    Read More »
    AAAI
    2008
    167views Intelligent Agents» more  AAAI 2008»
    Discourse Topic and Gestural Form
    14 years 8 days ago
    Discourse Topic and Gestural Form
    Download  people.csail.mit.edu
    Coverbal gesture provides a channel for the visual expression of ideas. While some gestural emblems have culturally predefined forms (e.g., "thumbs up"), the relationshi...
    Jacob Eisenstein, Regina Barzilay, Randall Davis
    claim paper
    Read More »
    FLAIRS
    2008
    119views Artificial Intelligence» more  FLAIRS 2008»
    Learning to Assess Low-Level Conceptual Understanding
    14 years 8 days ago
    Learning to Assess Low-Level Conceptual Understanding
    Download  www.aaai.org
    This paper analyzes the impact of several lexical and grammatical features in automated assessment of students' finegrained understanding of tutored concepts. Truly effective...
    Rodney D. Nielsen, Wayne Ward, James H. Martin
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.