Sciweavers

    1413 search results - page 240 / 283
    » ideas 2007
    Sort
    View
    DAGSTUHL
    2006
    146views Software Engineering» more  DAGSTUHL 2006»
    Efficient Software Model Checking of Data Structure Properties
    13 years 10 months ago
    Efficient Software Model Checking of Data Structure Properties
    Download  www.eecs.umich.edu
    This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
    Chandrasekhar Boyapati, Paul T. Darga
    claim paper
    Read More »
    DAIS
    2006
    172views Distributed And Parallel Com...» more  DAIS 2006»
    A Code Migration Framework for AJAX Applications
    13 years 10 months ago
    A Code Migration Framework for AJAX Applications
    Download  www.puder.org
    AJAX (Asynchronous JavaScript and XML) defines a new paradigm for writing highly interactive web applications. Prominent web sites such as Google Maps have made AJAX popular. Writi...
    Arno Puder
    claim paper
    Read More »
    ESANN
    2006
    158views Neural Networks» more  ESANN 2006»
    Dynamical reservoir properties as network effects
    13 years 10 months ago
    Dynamical reservoir properties as network effects
    Download  www.dice.ucl.ac.be
    It has been proposed that chaos can serve as a reservoir providing an infinite number of dynamical states [1, 2, 3, 4, 5]. These can be interpreted as different behaviors, search a...
    Carlos Lourenço
    claim paper
    Read More »
    ESANN
    2006
    192views Neural Networks» more  ESANN 2006»
    Margin based Active Learning for LVQ Networks
    13 years 10 months ago
    Margin based Active Learning for LVQ Networks
    Download  www2.in.tu-clausthal.de
    In this article, we extend a local prototype-based learning model by active learning, which gives the learner the capability to select training samples during the model adaptation...
    Frank-Michael Schleif, Barbara Hammer, Thomas Vill...
    claim paper
    Read More »
    CCCG
    2003
    140views Computational Geometry» more  CCCG 2003»
    On Coherent Rotation Angles for As-Rigid-As-Possible Shape Interpolation
    13 years 10 months ago
    On Coherent Rotation Angles for As-Rigid-As-Possible Shape Interpolation
    Download  web.cs.dal.ca
    Morphing algorithms aim to construct visually pleasing interpolations (morphs) between 2D or 3D shapes. One of the desirable properties of a morph is avoiding selfintersections of...
    Jaeil Choi, Andrzej Szymczak
    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.