Sciweavers

    6120 search results - page 1198 / 1224
    » The Power of Linear Functions
    Sort
    View
    CASCON
    2007
    1035views Education» more  CASCON 2007»
    An IDE for software development using tabular expressions
    13 years 9 months ago
    An IDE for software development using tabular expressions
    Download  www.cas.mcmaster.ca
    We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
    Dennis K. Peters, Mark Lawford, Baltasar Tranc&oac...
    claim paper
    Read More »
    IJCAI
    2007
    223views Artificial Intelligence» more  IJCAI 2007»
    Detection of Cognitive States from fMRI Data Using Machine Learning Techniques
    13 years 9 months ago
    Detection of Cognitive States from fMRI Data Using Machine Learning Techniques
    Download  ijcai.org
    Over the past decade functional Magnetic Resonance Imaging (fMRI) has emerged as a powerful technique to locate activity of human brain while engaged in a particular task or cogni...
    Vishwajeet Singh, Krishna P. Miyapuram, Raju S. Ba...
    claim paper
    Read More »
    MC
    2007
    149views Computer Science» more  MC 2007»
    Embodied Media and Mixed Reality for Social and Physical Interactive Communication and Entertainment
    13 years 9 months ago
    Embodied Media and Mixed Reality for Social and Physical Interactive Communication and Entertainment
    Download  mc.informatik.uni-hamburg.de
    This talk outlines new facilities within human media spaces supporting embodied interaction between humans, animals, and computation both socially and physically, with the aim of ...
    Adrian David Cheok
    claim paper
    Read More »
    DAGSTUHL
    2006
    129views Software Engineering» more  DAGSTUHL 2006»
    Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting
    13 years 9 months ago
    Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting
    Download  drops.dagstuhl.de
    ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
    Matteo Cavaliere, Sean Sedwards
    claim paper
    Read More »
    USENIX
    2004
    97views Operating System» more  USENIX 2004»
    REX: Secure, Extensible Remote Execution
    13 years 9 months ago
    REX: Secure, Extensible Remote Execution
    Download  www.scs.stanford.edu
    The ubiquitous SSH package has demonstrated the importance of secure remote login and execution. As remote execution tools grow in popularity, users require new features and exten...
    Michael Kaminsky, Eric Peterson, Daniel B. Giffin,...
    claim paper
    Read More »
    « Prev « First page 1198 / 1224 Last » Next »
    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.