Sciweavers

    2272 search results - page 174 / 455
    » A Calculus for
    Sort
    View
    MMAS
    2010
    Springer
    78views Intelligent Agents» more  MMAS 2010»
    A Nonlocal Vector Calculus with Application to Nonlocal Boundary Value Problems
    15 years 1 months ago
    A Nonlocal Vector Calculus with Application to Nonlocal Boundary Value Problems
    Download  www.ims.nus.edu.sg
    Max Gunzburger, Richard B. Lehoucq
    claim paper
    Read More »
    RTS
    2011
    158views more  RTS 2011»
    Applying real-time interface and calculus for dynamic power management in hard real-time systems
    14 years 10 months ago
    Applying real-time interface and calculus for dynamic power management in hard real-time systems
    Download  retis.sssup.it
    Kai Huang, Luca Santinelli, Jian-Jia Chen, Lothar ...
    claim paper
    Read More »
    SIAMREV
    2011
    63views more  SIAMREV 2011»
    Discrete Symbol Calculus
    14 years 10 months ago
    Discrete Symbol Calculus
    Download  math.mit.edu
    This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...
    Laurent Demanet, Lexing Ying
    claim paper
    Read More »
    CPP
    2011
    99views more  CPP 2011»
    Proof-Carrying Code in a Session-Typed Process Calculus
    14 years 7 months ago
    Proof-Carrying Code in a Session-Typed Process Calculus
    Download  www.cs.cmu.edu
    Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
    Frank Pfenning, Luís Caires, Bernardo Tonin...
    claim paper
    Read More »
    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 7 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 »
    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.