Sciweavers

    5456 search results - page 1060 / 1092
    » A study of Object Evolution
    Sort
    View
    ESOP
    2008
    Springer
    184views Programming Languages» more  ESOP 2008»
    Verification of Higher-Order Computation: A Game-Semantic Approach
    14 years 22 days ago
    Verification of Higher-Order Computation: A Game-Semantic Approach
    Download  users.comlab.ox.ac.uk
    Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
    C.-H. Luke Ong
    claim paper
    Read More »
    ESANN
    2007
    106views Neural Networks» more  ESANN 2007»
    Order in Complex Systems of Nonlinear Oscillators: Phase Locked Subspaces
    14 years 12 days ago
    Order in Complex Systems of Nonlinear Oscillators: Phase Locked Subspaces
    Download  www.dice.ucl.ac.be
    Any order parameter quantifying the degree of organisation in a physical system can be studied in connection to source extraction algorithms. Independent component analysis (ICA) b...
    Jan-Hendrik Schleimer, Ricardo Vigário
    claim paper
    Read More »
    MEDIAFORENSICS
    2010
    443views Forensic Engineering» more  MEDIAFORENSICS 2010»
    Detecting content adaptive scaling of images for forensic applications
    14 years 12 days ago
    Detecting content adaptive scaling of images for forensic applications
    Download  www.ece.rochester.edu
    Content-aware resizing methods have recently been developed, among which, seam-carving has achieved the most widespread use. Seam-carving's versatility enables deliberate obj...
    Claude Fillion, Gaurav Sharma
    claim paper
    Read More »
    HCI
    2007
    155views Human Computer Interaction» more  HCI 2007»
    User Expectations from Dictation on Mobile Devices
    14 years 12 days ago
    User Expectations from Dictation on Mobile Devices
    Download  condor.depaul.edu
    Mobile phones, with their increasing processing power and memory, are enabling a diversity of tasks. The traditional text entry method using keypad is falling short in numerous way...
    Santosh Basapur, Shuang Xu, Mark Ahlenius, Young S...
    claim paper
    Read More »
    ICMLA
    2007
    86views Machine Learning» more  ICMLA 2007»
    Understanding Challenges in Preserving and Reconstructing Computer-Assisted Medical Decision Processes
    14 years 12 days ago
    Understanding Challenges in Preserving and Reconstructing Computer-Assisted Medical Decision Processes
    Download  isda.ncsa.uiuc.edu
    — This paper addresses the problem of understanding preservation and reconstruction requirements for computeraided medical decision-making. With an increasing number of computer-...
    Sang-Chul Lee, Peter Bajcsy
    claim paper
    Read More »
    « Prev « First page 1060 / 1092 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.