Search Sciweavers | Sciweavers

441 search results - page 6 / 89

» Refinement of Time

click to vote

VISUALIZATION
2003
IEEE

140views Visualization» more VISUALIZATION 2003»

Real-Time Refinement and Simplification of Adaptive Triangular Meshes

14 years 1 months ago

Download www.evl.uic.edu

Vasily Volkov, Ling Li

claim paper

Read More »

click to vote

ASMTA
2010
Springer

135views Mathematics» more ASMTA 2010»

Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm

14 years 18 days ago

Download www.neptuny.com

Paolo Cremonesi, Kanika Dhyani, Andrea Sansottera

claim paper

Read More »

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

14 years 14 days ago

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst...

claim paper

Read More »

click to vote

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

14 years 7 days ago

Download www.lsv.ens-cachan.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

click to vote

PE
2010
Springer

111views Optimization» more PE 2010»

Symbolic partition refinement with automatic balancing of time and space

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers