Sciweavers

    ARITH
    2015
    IEEE
    24views Applied Computing» more  ARITH 2015»
    An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
    8 years 8 months ago
    An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
    Download  smtlib.cs.uiowa.edu
    —Automated reasoning tools often provide little or no support to reason accurately and efficiently about floating-point arithmetic. As a consequence, software verification sys...
    Martin Brain, Cesare Tinelli, Philipp Rümmer,...
    claim paper
    Read More »
    ACII
    2015
    Springer
    24views Applied Computing» more  ACII 2015»
    Transfer components between subjects for EEG-based emotion recognition
    8 years 8 months ago
    Transfer components between subjects for EEG-based emotion recognition
    Download  bcmi.sjtu.edu.cn
    —Addressing the structural and functional variability between subjects for robust affective brain-computer interface (aBCI) is challenging but of great importance, since the cali...
    claim paper
    Read More »
    ACII
    2015
    Springer
    25views Applied Computing» more  ACII 2015»
    Expression training for complex emotions using facial expressions and head movements
    8 years 8 months ago
    Expression training for complex emotions using facial expressions and head movements
    Download  www.cl.cam.ac.uk
    Abstract—Imitation is an important aspect of emotion recognition. We present an expression training interface which evaluates the imitation of facial expressions and head movemen...
    claim paper
    Read More »
    ADHOC
    2015
    18views Applied Computing» more  ADHOC 2015»
    Probabilistic yoking proofs for large scale IoT systems
    8 years 8 months ago
    Probabilistic yoking proofs for large scale IoT systems
    Download  lightweightcryptography.com
    Yoking (or grouping) proofs were introduced in 2004 as a security construction for RFID applications in which it is needed to build an evidence that several objects have been scan...
    José María de Fuentes, Pedro Peris-L...
    claim paper
    Read More »
    ADHOC
    2015
    24views Applied Computing» more  ADHOC 2015»
    An approximation to the QoS aware throughput region of a tree network under IEEE 802.15.4 CSMA/CA with application to wireless s
    8 years 8 months ago
    An approximation to the QoS aware throughput region of a tree network under IEEE 802.15.4 CSMA/CA with application to wireless s
    Download  www.ece.iisc.ernet.in
    In the context of wireless sensor networks, we are motivated by the design of a tree network spanning a set of source nodes that generate packets, a set of additional relay nodes ...
    Abhijit Bhattacharya, Anurag Kumar 0001
    claim paper
    Read More »
    ADHOC
    2015
    6views Applied Computing» more  ADHOC 2015»
    Matching renewable energy supply and demand in green datacenters
    8 years 8 months ago
    Matching renewable energy supply and demand in green datacenters
    Download  www.cs.rutgers.edu
    In this paper, we propose GreenSlot, a scheduler for parallel batch jobs in a datacenter powered by a photovoltaic solar array and the electrical grid (as a backup). GreenSlot pre...
    Iñigo Goiri, Md. E. Haque, Kien Le, Ryan Be...
    claim paper
    Read More »
    ADHOC
    2015
    9views Applied Computing» more  ADHOC 2015»
    MPAR: A movement pattern-aware optimal routing for social delay tolerant networks
    8 years 8 months ago
    MPAR: A movement pattern-aware optimal routing for social delay tolerant networks
    Download  www.researchgate.net
    Social Delay Tolerant Networks (SDTNs) are a special kind of Delay Tolerant Network (DTN) that consists of a number of mobile devices with social characteristics. The current rese...
    Lei You, Jianbo Li, Changjiang Wei, Lejuan Hu
    claim paper
    Read More »
    ADHOC
    2015
    6views Applied Computing» more  ADHOC 2015»
    Energy-Aware task scheduler for self-powered sensor nodes: From model to firmware
    8 years 8 months ago
    Energy-Aware task scheduler for self-powered sensor nodes: From model to firmware
    Download  www.researchgate.net
    Marco Severini, Stefano Squartini, Francesco Piazz...
    claim paper
    Read More »
    ADHOC
    2015
    15views Applied Computing» more  ADHOC 2015»
    DICSA: Distributed and concurrent link scheduling algorithm for data gathering in wireless sensor networks
    8 years 8 months ago
    DICSA: Distributed and concurrent link scheduling algorithm for data gathering in wireless sensor networks
    Download  www.researchgate.net
    Although link scheduling has been used to improve the performance of data gathering applications, unfortunately, existing link scheduling algorithms are either centralized or they...
    Behnam Dezfouli, Marjan Radi, Kamin Whitehouse, Sh...
    claim paper
    Read More »
    ADHOC
    2015
    35views Applied Computing» more  ADHOC 2015»
    A fast, reliable and lightweight distributed dissemination protocol for safety messages in Urban Vehicular Networks
    8 years 8 months ago
    A fast, reliable and lightweight distributed dissemination protocol for safety messages in Urban Vehicular Networks
    Download  csserver.ucd.ie
    It is foreseeable that in the few upcoming years, real time traffic information, including road incidents notifications, will be collected and disseminated by mobile vehicles, t...
    Sofiane Zemouri, Soufiene Djahel, John Murphy 0001
    claim paper
    Read More »
    « first‹ previous…111213141516171819…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.