Search Sciweavers | Sciweavers

441 search results - page 6 / 89

» Refinement of Time

152

click to vote

VISUALIZATION
2003
IEEE

140views Visualization» more VISUALIZATION 2003»

Real-Time Refinement and Simplification of Adaptive Triangular Meshes

15 years 11 months ago

Download www.evl.uic.edu

Vasily Volkov, Ling Li

claim paper

Read More »

123

click to vote

ASMTA
2010
Springer

135views Mathematics» more ASMTA 2010»

Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm

15 years 10 months ago

Download www.neptuny.com

Paolo Cremonesi, Kanika Dhyani, Andrea Sansottera

claim paper

Read More »

137

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 10 months ago

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst...

claim paper

Read More »

115

click to vote

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

15 years 10 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

123

click to vote

PE
2010
Springer

111views Optimization» more PE 2010»

Symbolic partition refinement with automatic balancing of time and space

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers