Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
441
search results - page 6 / 89
»
Refinement of Time
Sort
relevance
views
votes
recent
update
View
thumb
title
141
click to vote
VISUALIZATION
2003
IEEE
140
views
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 »
115
click to vote
ASMTA
2010
Springer
135
views
Mathematics
»
more
ASMTA 2010
»
Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm
15 years 9 months ago
Download
www.neptuny.com
Paolo Cremonesi, Kanika Dhyani, Andrea Sansottera
claim paper
Read More »
122
click to vote
FORMATS
2007
Springer
78
views
Formal Methods
»
more
FORMATS 2007
»
Automatic Abstraction Refinement for Timed Automata
15 years 9 months ago
Download
www.informatik.uni-freiburg.de
Henning Dierks, Sebastian Kupferschmid, Kim Guldst...
claim paper
Read More »
106
click to vote
FORMATS
2006
Springer
79
views
Formal Methods
»
more
FORMATS 2006
»
Refinements and Abstractions of Signal-Event (Timed) Languages
15 years 9 months ago
Download
www.lsv.ens-cachan.fr
Béatrice Bérard, Paul Gastin, Antoin...
claim paper
Read More »
114
click to vote
PE
2010
Springer
111
views
Optimization
»
more
PE 2010
»
Symbolic partition refinement with automatic balancing of time and space
15 years 4 months ago
Download
www.informatik.uni-freiburg.de
Ralf Wimmer, Salem Derisavi, Holger Hermanns
claim paper
Read More »
« Prev
« First
page 6 / 89
Last »
Next »
