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
14190
search results - page 114 / 2838
»
Abstractions for hybrid systems
Sort
relevance
views
votes
recent
update
View
thumb
title
111
click to vote
FORMATS
2007
Springer
114
views
Formal Methods
»
more
FORMATS 2007
»
Abstraction of Probabilistic Systems
16 years 17 days ago
Download
www.trustsoft.uni-oldenburg.de
Joost-Pieter Katoen
claim paper
Read More »
101
click to vote
GECCO
2007
Springer
124
views
Optimization
»
more
GECCO 2007
»
Supplementing evolutionary developmental systems with abstract models of neurogenesis
16 years 17 days ago
Download
www.cs.bham.ac.uk
Keith L. Downing
claim paper
Read More »
131
click to vote
RV
2007
Springer
76
views
Hardware
»
more
RV 2007
»
Translation Validation of System Abstractions
16 years 16 days ago
Download
rtg.cis.upenn.edu
Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffte...
claim paper
Read More »
134
click to vote
SAS
2007
Springer
82
views
Formal Methods
»
more
SAS 2007
»
Static Analysis of Dynamic Communication Systems by Partner Abstraction
16 years 16 days ago
Download
www.model.in.tum.de
Jörg Bauer, Reinhard Wilhelm
claim paper
Read More »
147
click to vote
UC
2007
Springer
130
views
Applied Computing
»
more
UC 2007
»
The Abstract Immune System Algorithm
16 years 15 days ago
Download
ctp.di.fct.unl.pt
José Pacheco, José Félix Cost...
claim paper
Read More »
« Prev
« First
page 114 / 2838
Last »
Next »
