Sciweavers

    PRL
    2011
    235views Computer Networks» more  PRL 2011»
    Canonical correlation analysis using within-class coupling
    13 years 6 months ago
    Canonical correlation analysis using within-class coupling
    Download  www.cmpe.boun.edu.tr
    Olcay Kursun, Ethem Alpaydin, Oleg V. Favorov
    claim paper
    Read More »
    PR
    2011
    232views Computer Networks» more  PR 2011»
    Hierarchical multispectral galaxy decomposition using a MCMC algorithm with multiple temperature simulated annealing
    13 years 6 months ago
    Hierarchical multispectral galaxy decomposition using a MCMC algorithm with multiple temperature simulated annealing
    Download  lsiit-cnrs.unistra.fr
    Benjamin Perret, Vincent Mazet, Christophe Collet,...
    claim paper
    Read More »
    NFM
    2011
    335views Formal Methods» more  NFM 2011»
    CORAL: Solving Complex Constraints for Symbolic PathFinder
    13 years 6 months ago
    CORAL: Solving Complex Constraints for Symbolic PathFinder
    Download  www.cin.ufpe.br
    Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
    Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
    claim paper
    Read More »
    NFM
    2011
    303views Formal Methods» more  NFM 2011»
    Instantiation-Based Invariant Discovery
    13 years 6 months ago
    Instantiation-Based Invariant Discovery
    Download  www.cs.uiowa.edu
    Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
    Temesghen Kahsai, Yeting Ge, Cesare Tinelli
    claim paper
    Read More »
    PERCOM
    2010
    ACM
    140views Computer Networks» more  PERCOM 2010»
    Wearable sensor activity analysis using semi-Markov models with a grammar
    13 years 6 months ago
    Wearable sensor activity analysis using semi-Markov models with a grammar
    Download  eprints.pascal-network.org
    O. Thomas, Peter Sunehag, Gideon Dror, S. Yun, S. ...
    claim paper
    Read More »
    PERCOM
    2010
    ACM
    112views Computer Networks» more  PERCOM 2010»
    Detecting activities from body-worn accelerometers via instance-based algorithms
    13 years 6 months ago
    Detecting activities from body-worn accelerometers via instance-based algorithms
    Download  mars.ing.unimo.it
    The automatic and unobtrusive identification of user's activities is one of the challenging goals of context-aware computing. This paper discusses and experimentally evaluate...
    Nicola Bicocchi, Marco Mamei, Franco Zambonelli
    claim paper
    Read More »
    PERCOM
    2010
    ACM
    260views Computer Networks» more  PERCOM 2010»
    Using Wi-Fi to save energy via P2P remote execution
    13 years 6 months ago
    Using Wi-Fi to save energy via P2P remote execution
    Download  www.mendeley.com
    Abstract-- Mobile devices are becoming increasingly powerful with regards to processing speed, networking capabilities, storage capacity etc. While these improvements open up new p...
    Mads Darø Kristensen, Niels Olof Bouvin
    claim paper
    Read More »
    PERCOM
    2010
    ACM
    206views Computer Networks» more  PERCOM 2010»
    The architecture design of a cross-domain context management system
    13 years 6 months ago
    The architecture design of a cross-domain context management system
    Download  www.ayu.ics.keio.ac.jp
    A new context management framework, which supports the interaction between different domain context managers, is proposed. Two different context producerconsumer patterns are defin...
    Bin Guo, Lin Sun, Daqing Zhang
    claim paper
    Read More »
    PERCOM
    2010
    ACM
    371views Computer Networks» more  PERCOM 2010»
    Local map generation using position and communication history of mobile nodes
    13 years 6 months ago
    Local map generation using position and communication history of mobile nodes
    Download  www-higashi.ist.osaka-u.ac.jp
    In this paper, we propose an algorithm to estimate 2D shapes and positions of obstacles such as buildings using GPS and wireless communication history of mobile nodes. Our algorith...
    Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi...
    claim paper
    Read More »
    NETWORKS
    2010
    123views Computer Networks» more  NETWORKS 2010»
    An ejection chain algorithm for the quadratic assignment problem
    13 years 6 months ago
    An ejection chain algorithm for the quadratic assignment problem
    Download  faculty.bus.olemiss.edu
    César Rego, Tabitha James, Fred Glover
    claim paper
    Read More »
    « first‹ previous…484950515253545556…next ›last »
    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.