Sciweavers

    529 search results - page 17 / 106
    » Causal Time Calculus
    Sort
    View
    ECRTS
    2010
    IEEE
    192views Embedded Systems» more  ECRTS 2010»
    ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr
    13 years 9 months ago
    ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr
    Download  www-verimag.imag.fr
    Karine Altisen, Matthieu Moy
    claim paper
    Read More »
    COLING
    2000
    112views Computational Linguistics» more  COLING 2000»
    Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets
    13 years 10 months ago
    Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets
    Download  www.xrce.xerox.com
    Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
    Sylvain Pogodalla
    claim paper
    Read More »
    IPL
    1998
    89views more  IPL 1998»
    A Limitation of Vector Timestamps for Reconstructing Distributed Computations
    13 years 8 months ago
    A Limitation of Vector Timestamps for Reconstructing Distributed Computations
    Download  sky.fit.qut.edu.au
    Vector timestamps provide a way of recording the causal relationships between events in a distributed computation. We draw attention to a limitation of such timestamps when used t...
    Colin J. Fidge
    claim paper
    Read More »
    ENTCS
    2002
    77views more  ENTCS 2002»
    The variety of variables in computer-aided real-time programming
    13 years 8 months ago
    The variety of variables in computer-aided real-time programming
    Download  sky.fit.qut.edu.au
    The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
    Luke Wildman, Colin J. Fidge
    claim paper
    Read More »
    ESANN
    2007
    152views Neural Networks» more  ESANN 2007»
    Causality analysis of LFPs in micro-electrode arrays based on mutual information
    13 years 10 months ago
    Causality analysis of LFPs in micro-electrode arrays based on mutual information
    Download  www.dice.ucl.ac.be
    Since perceptual and motor processes in the brain are the result of interactions between neurons, layers and areas, a lot of attention has been directed towards the development of...
    Nikolay V. Manyakov, Marc M. Van Hulle
    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.