Sciweavers

    3838 search results - page 654 / 768
    » The Autonomic Computing Paradigm
    Sort
    View
    JSS
    2006
    99views more  JSS 2006»
    Automatic generation of assumptions for modular verification of software specifications
    13 years 9 months ago
    Automatic generation of assumptions for modular verification of software specifications
    Download  www.di.uniovi.es
    Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
    Claudio de la Riva, Javier Tuya
    claim paper
    Read More »
    PAA
    2008
    137views Distributed And Parallel Com...» more  PAA 2008»
    Prototype reduction using an artificial immune model
    13 years 9 months ago
    Prototype reduction using an artificial immune model
    Download  sci2s.ugr.es
    Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...
    Utpal Garain
    claim paper
    Read More »
    SIGIR
    2008
    ACM
    100views Information Technology» more  SIGIR 2008»
    Optical character recognition errors and their effects on natural language processing
    13 years 9 months ago
    Optical character recognition errors and their effects on natural language processing
    Download  www.cse.lehigh.edu
    Errors are unavoidable in advanced computer vision applications such as optical character recognition, and the noise induced by these errors presents a serious challenge to downstr...
    Daniel P. Lopresti
    claim paper
    Read More »
    IJEB
    2007
    127views more  IJEB 2007»
    Factors mediating the routinisation of e-learning within a traditional university education environment
    13 years 9 months ago
    Factors mediating the routinisation of e-learning within a traditional university education environment
    Download  www.iseing.org
    Technology-enhanced or Computer Aided Learning (e-learning) can be institutionally integrated and supported by learning management systems or Virtual Learning Environments (VLEs) ...
    Shafqat Hameed, John Mellor, Atta Badii, Niyati Pa...
    claim paper
    Read More »
    IJNSEC
    2007
    137views more  IJNSEC 2007»
    An FPGA-based AES-CCM Crypto Core For IEEE 802.11i Architecture
    13 years 9 months ago
    An FPGA-based AES-CCM Crypto Core For IEEE 802.11i Architecture
    Download  ijns.femto.com.tw
    The widespread adoption of IEEE 802.11 wireless networks has brought its security paradigm under active research. One of the important research areas in this field is the realiza...
    Arshad Aziz, Nassar Ikram
    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.