Sciweavers

    2079 search results - page 415 / 416
    » Universality of random graphs
    Sort
    View
    DLOG
    2009
    144views Automated Reasoning» more  DLOG 2009»
    Testing Provers on a Grid - Framework Description
    13 years 3 months ago
    Testing Provers on a Grid - Framework Description
    Download  glyc.dc.uba.ar
    Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
    Carlos Areces, Daniel Gorín, Alejandra Lore...
    claim paper
    Read More »
    SIAMIS
    2010
    141views more  SIAMIS 2010»
    Optimization by Stochastic Continuation
    13 years 1 days ago
    Optimization by Stochastic Continuation
    Download  www.creatis.insa-lyon.fr
    Simulated annealing (SA) and deterministic continuation are well-known generic approaches to global optimization. Deterministic continuation is computationally attractive but produ...
    Marc C. Robini, Isabelle E. Magnin
    claim paper
    Read More »
    SIAMJO
    2010
    100views more  SIAMJO 2010»
    Explicit Sensor Network Localization using Semidefinite Representations and Facial Reductions
    13 years 1 days ago
    Explicit Sensor Network Localization using Semidefinite Representations and Facial Reductions
    Download  orion.math.uwaterloo.ca
    The sensor network localization, SNL , problem in embedding dimension r, consists of locating the positions of wireless sensors, given only the distances between sensors that are ...
    Nathan Krislock, Henry Wolkowicz
    claim paper
    Read More »
    TSMC
    2010
    137views Artificial Intelligence» more  TSMC 2010»
    Geometric Distortion Insensitive Image Watermarking in Affine Covariant Regions
    13 years 6 hour ago
    Geometric Distortion Insensitive Image Watermarking in Affine Covariant Regions
    Download  www.nlpr.ia.ac.cn
    Feature-based image watermarking schemes, which aim to survive various geometric distortions, have attracted great attention in recent years. Existing schemes have shown robustness...
    Xinbo Gao, Cheng Deng, Xuelong Li, Dacheng Tao
    claim paper
    Read More »
    TSP
    2010
    175views Artificial Intelligence» more  TSP 2010»
    Optimization and analysis of distributed averaging with short node memory
    13 years 5 hour ago
    Optimization and analysis of distributed averaging with short node memory
    Download  www.tsp.ece.mcgill.ca
    Distributed averaging describes a class of network algorithms for the decentralized computation of aggregate statistics. Initially, each node has a scalar data value, and the goal...
    Boris N. Oreshkin, Mark Coates, Michael G. Rabbat
    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.