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
3330
search results - page 29 / 666
»
software 2010
Sort
relevance
views
votes
recent
update
View
thumb
title
63
click to vote
SIGSPATIAL
2010
46
views
more
SIGSPATIAL 2010
»
Beyond the metric space model
15 years 1 months ago
Download
siret.ms.mff.cuni.cz
Benjamin Bustos, Tomás Skopal
claim paper
Read More »
154
click to vote
SIMULATION
2010
96
views
more
SIMULATION 2010
»
A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
15 years 1 months ago
Download
www.fceia.unr.edu.ar
Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer
claim paper
Read More »
140
click to vote
STVR
2010
66
views
more
STVR 2010
»
Recognizing authors: an examination of the consistent programmer hypothesis
15 years 1 months ago
Download
selab.netlab.uky.edu
Jane Huffman Hayes, Jeff Offutt
claim paper
Read More »
109
click to vote
TCAD
2010
84
views
more
TCAD 2010
»
PABTEC: Passivity-Preserving Balanced Truncation for Electrical Circuits
15 years 1 months ago
Download
www.math.tu-berlin.de
Timo Reis, Tatjana Stykel
claim paper
Read More »
144
click to vote
TCAD
2010
111
views
more
TCAD 2010
»
Combining Control and Data Abstraction in the Verification of Hybrid Systems
15 years 1 months ago
Download
pop-art.inrialpes.fr
Xavier Briand, Bertrand Jeannet
claim paper
Read More »
« Prev
« First
page 29 / 666
Last »
Next »
