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
    15 years 17 days 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
    15 years 17 days 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
    15 years 25 days 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
    14 years 5 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
    15 years 3 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
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.