Sciweavers

    5639 search results - page 16 / 1128
    » Timed Abstract Non-interference
    Sort
    View
    TSP
    2010
    105views Artificial Intelligence» more  TSP 2010»
    Reducing the waveform cross correlation of MIMO radar with space: time coding
    14 years 6 months ago
    Reducing the waveform cross correlation of MIMO radar with space: time coding
    Download  www.engr.uconn.edu
    Abstract--Multiple-input
    Xiufeng Song, Shengli Zhou, Peter Willett
    claim paper
    Read More »
    TSP
    2010
    121views Artificial Intelligence» more  TSP 2010»
    Ziv-Zakai Time-Delay Estimation Bounds for Frequency-Hopping Waveforms Under Frequency-Selective Fading
    14 years 6 months ago
    Ziv-Zakai Time-Delay Estimation Bounds for Frequency-Hopping Waveforms Under Frequency-Selective Fading
    Download  www.ee.ucr.edu
    Abstract--Ziv
    Ning Liu, Zhengyuan Xu, Brian M. Sadler
    claim paper
    Read More »
    TII
    2011
    206views Education» more  TII 2011»
    Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
    14 years 6 months ago
    Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
    Download  webdiis.unizar.es
    Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
    Simona Bernardi, Javier Campos, José Merseg...
    claim paper
    Read More »
    DMTCS
    2011
    261views Mathematics» more  DMTCS 2011»
    An expected polynomial time algorithm for coloring 2-colorable 3-graphs
    13 years 11 months ago
    An expected polynomial time algorithm for coloring 2-colorable 3-graphs
    Download  www.math.uni-hamburg.de
    Abstract. We present an algorithm that for 2-colorable 3-uniform hypergraphs, finds a 2-coloring in average running time O(n5 log2 n).
    Yury Person, Mathias Schacht
    claim paper
    Read More »
    LPAR
    2010
    Springer
    138views Automated Reasoning» more  LPAR 2010»
    Graded Alternating-Time Temporal Logic
    14 years 9 months ago
    Graded Alternating-Time Temporal Logic
    Download  www.ing.unife.it
    Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
    Marco Faella, Margherita Napoli, Mimmo Parente
    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-2025, USA.