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
9698
search results - page 94 / 1940
»
models 2010
Sort
relevance
views
votes
recent
update
View
thumb
title
145
click to vote
SOSYM
2010
86
views
more
SOSYM 2010
»
Guest editorial to the special section on model transformation
15 years 4 months ago
Download
www.lcc.uma.es
Jeff Gray, Alfonso Pierantonio, Antonio Vallecillo
claim paper
Read More »
130
click to vote
TC
2010
87
views
Information Technology
»
more
TC 2010
»
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
15 years 4 months ago
Download
www.csee.usf.edu
Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
claim paper
Read More »
107
click to vote
URBAN
2010
101
views
more
URBAN 2010
»
Complexity and performance of urban expansion models
15 years 4 months ago
Download
www.kuleuven.be
Lien Poelmans, Anton Van Rompaey
claim paper
Read More »
91
click to vote
VC
2010
125
views
more
VC 2010
»
Image-based face illumination transferring using logarithmic total variation models
15 years 4 months ago
Download
www.cs.uh.edu
Qing Li, Wotao Yin, Zhigang Deng
claim paper
Read More »
126
Voted
VLSISP
2010
74
views
more
VLSISP 2010
»
A High-level Microprocessor Power Modeling Technique Based on Event Signatures
15 years 4 months ago
Download
staff.science.uva.nl
Peter van Stralen, Andy D. Pimentel
claim paper
Read More »
« Prev
« First
page 94 / 1940
Last »
Next »