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
13913
search results - page 132 / 2783
»
models 2007
Sort
relevance
views
votes
recent
update
View
thumb
title
121
click to vote
SARA
2007
Springer
94
views
Artificial Intelligence
»
more
SARA 2007
»
Model-Based Exploration in Continuous State Spaces
16 years 6 days ago
Download
userweb.cs.utexas.edu
Nicholas K. Jong, Peter Stone
claim paper
Read More »
90
click to vote
SEMWEB
2007
Springer
91
views
Internet Technology
»
more
SEMWEB 2007
»
Rough Description Logics for Modeling Uncertainty in Instance Unification
16 years 6 days ago
Download
c4i.gmu.edu
Michel C. A. Klein, Peter Mika, Stefan Schlobach
claim paper
Read More »
150
click to vote
SFM
2007
Springer
68
views
Formal Methods
»
more
SFM 2007
»
Fluid Models in Performance Analysis
16 years 6 days ago
Download
www.sti.uniurb.it
Marco Gribaudo, Miklós Telek
claim paper
Read More »
156
click to vote
SFM
2007
Springer
134
views
Formal Methods
»
more
SFM 2007
»
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms
16 years 6 days ago
Download
www.sti.uniurb.it
C. Murray Woodside
claim paper
Read More »
112
click to vote
SFM
2007
Springer
68
views
Formal Methods
»
more
SFM 2007
»
Stochastic Model Checking
16 years 6 days ago
Download
www.cs.uni-paderborn.de
Marta Z. Kwiatkowska, Gethin Norman, David Parker
claim paper
Read More »
« Prev
« First
page 132 / 2783
Last »
Next »