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