Sciweavers

    441 search results - page 5 / 89
    » Refinement of Time
    Sort
    View
    145
    Voted
    VVS
    2000
    IEEE
    126views Visualization» more  VVS 2000»
    Time critical isosurface refinement and smoothing
    15 years 10 months ago
    Time critical isosurface refinement and smoothing
    Download  www.pascucci.org
    Multi-resolution data-structures and algorithms are key in Visualization to achieve real-time interaction with large data-sets. Research has been primarily focused on the off-line...
    Valerio Pascucci, Chandrajit L. Bajaj
    claim paper
    Read More »
    ICCAD
    2002
    IEEE
    93views Hardware» more  ICCAD 2002»
    Refining switching window by time slots for crosstalk noise calculation
    16 years 3 months ago
    Refining switching window by time slots for crosstalk noise calculation
    Download  www.cs.york.ac.uk
    Pinhong Chen, Yuji Kukimoto, Kurt Keutzer
    claim paper
    Read More »
    111
    Voted
    RTSS
    2009
    IEEE
    148views Control Systems» more  RTSS 2009»
    Component-Based Abstraction Refinement for Timed Controller Synthesis
    16 years 1 months ago
    Component-Based Abstraction Refinement for Timed Controller Synthesis
    Download  www.informatik.uni-freiburg.de
    Hans-Jörg Peter, Robert Mattmüller
    claim paper
    Read More »
    VISUALIZATION
    2005
    IEEE
    134views Visualization» more  VISUALIZATION 2005»
    Visualization of Time-Dependent Remote Adaptive Mesh Refinement Data
    15 years 12 months ago
    Visualization of Time-Dependent Remote Adaptive Mesh Refinement Data
    Download  www.zib.de
    Ralf Kähler, Steffen Prohaska, Andrei Hutanu,...
    claim paper
    Read More »
    141
    Voted
    FDL
    2003
    IEEE
    101views Natural Language Processing» more  FDL 2003»
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    15 years 11 months ago
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    Download  www.c-lab.de
    Alexander Krupp, Wolfgang Müller 0003
    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.