Sciweavers

    1054 search results - page 182 / 211
    » From a Verified Kernel towards Verified Systems
    Sort
    View
    IJCV
    2002
    185views more  IJCV 2002»
    Vision and the Atmosphere
    14 years 11 months ago
    Vision and the Atmosphere
    Download  www1.cs.columbia.edu
    Current vision systems are designed to perform in clear weather. Needless to say, in any outdoor application, there is no escape from "bad" weather. Ultimately, computer ...
    Srinivasa G. Narasimhan, Shree K. Nayar
    claim paper
    Read More »
    BSN
    2011
    IEEE
    233views Sensor Networks» more  BSN 2011»
    Compressive Sensing of Neural Action Potentials Using a Learned Union of Supports
    13 years 11 months ago
    Compressive Sensing of Neural Action Potentials Using a Learned Union of Supports
    Download  nesl.ee.ucla.edu
    —Wireless neural recording systems are subject to stringent power consumption constraints to support long-term recordings and to allow for implantation inside the brain. In this ...
    Zainul Charbiwala, Vaibhav Karkare, Sarah Gibson, ...
    claim paper
    Read More »
    CSFW
    2002
    IEEE
    94views Security Privacy» more  CSFW 2002»
    Types and Effects for Asymmetric Cryptographic Protocols
    15 years 4 months ago
    Types and Effects for Asymmetric Cryptographic Protocols
    Download  fpl.cs.depaul.edu
    We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
    Andrew D. Gordon, Alan Jeffrey
    claim paper
    Read More »
    ASM
    2004
    ASM
    101views Computational Biology» more  ASM 2004»
    Observations on the Decidability of Transitions
    15 years 5 months ago
    Observations on the Decidability of Transitions
    Download  research.microsoft.com
    Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
    Yuri Gurevich, Rostislav Yavorskiy
    claim paper
    Read More »
    AUTOMATICA
    2005
    91views more  AUTOMATICA 2005»
    Lyapunov-based continuous-time nonlinear controller redesign for sampled-data implementation
    14 years 11 months ago
    Lyapunov-based continuous-time nonlinear controller redesign for sampled-data implementation
    Download  www.math.uni-bayreuth.de
    : Given a continuous-time controller and a Lyapunov function that shows global asymptotic stability for the closed loop system, we provide several results for modification of the c...
    Dragan Nesic, Lars Grüne
    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-2025, USA.