Sciweavers

    320 search results - page 45 / 64
    » Testing the significance of attribute interactions
    Sort
    View
    BELL
    2000
    107views more  BELL 2000»
    Automating software feature verification
    13 years 7 months ago
    Automating software feature verification
    Download  spinroot.com
    A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
    Gerard J. Holzmann, Margaret H. Smith
    claim paper
    Read More »
    JIRS
    2000
    133views more  JIRS 2000»
    Managing Complexity in Large Learning Robotic Systems
    13 years 7 months ago
    Managing Complexity in Large Learning Robotic Systems
    Download  www.ini.uzh.ch
    Abstract. Autonomous learning systems of significant complexity often consist of several interacting modules or agents. These modules collaborate to produce a system which, when vi...
    Kynan Eng, Alec P. Robertson, Deane R. Blackman
    claim paper
    Read More »
    BIBM
    2010
    IEEE
    277views Bioinformatics» more  BIBM 2010»
    Accurate prediction of ATP-binding residues using sequence and sequence-derived structural descriptors
    13 years 5 months ago
    Accurate prediction of ATP-binding residues using sequence and sequence-derived structural descriptors
    Download  biomine.ece.ualberta.ca
    ATP is a ubiquitous nucleotide that provides energy for cellular activities, catalyzes chemical reactions, and is involved in cellular signaling. The knowledge of the ATPprotein in...
    Ke Chen 0003, Marcin J. Mizianty, Lukasz A. Kurgan
    claim paper
    Read More »
    GRAPHICSINTERFACE
    2009
    65views Computer Graphics» more  GRAPHICSINTERFACE 2009»
    Separability of spatial manipulations in multi-touch interfaces
    13 years 5 months ago
    Separability of spatial manipulations in multi-touch interfaces
    Download  www.patrickbaudisch.com
    Multi-touch interfaces allow users to translate, rotate, and scale digital objects in a single interaction. However, this freedom represents a problem when users intend to perform...
    Miguel A. Nacenta, Patrick Baudisch, Hrvoje Benko,...
    claim paper
    Read More »
    HCI
    2009
    124views Human Computer Interaction» more  HCI 2009»
    A Study on the Design of Voice Navigation of Car Navigation System
    13 years 5 months ago
    A Study on the Design of Voice Navigation of Car Navigation System
    Download  ac.rd.ttu.edu.tw
    This study tries to find the designing blind spots of the voice prompt function in the current car navigation systems and make improvement suggestions. The experimental plan was im...
    Chih-Fu Wu, Wan-Fu Huang, Tung-Chen Wu
    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.