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
12981
search results - page 271 / 2597
»
Model Checking and Abstraction
Sort
relevance
views
votes
recent
update
View
thumb
title
130
click to vote
AIIA
2007
Springer
113
views
Artificial Intelligence
»
more
AIIA 2007
»
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions
16 years 1 months ago
Download
www.meteck.org
C. Maria Keet
claim paper
Read More »
181
click to vote
CP
2007
Springer
112
views
Artificial Intelligence
»
more
CP 2007
»
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
16 years 1 months ago
Download
www.irisa.fr
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
claim paper
Read More »
107
click to vote
ER
2007
Springer
117
views
Database
»
more
ER 2007
»
An Abstract Interaction Model for a MDA Software Production Method
16 years 1 months ago
Download
crpit.com
Francisco Valverde, José Ignacio Panach, Os...
claim paper
Read More »
122
click to vote
GECCO
2007
Springer
124
views
Optimization
»
more
GECCO 2007
»
Supplementing evolutionary developmental systems with abstract models of neurogenesis
16 years 1 months ago
Download
www.cs.bham.ac.uk
Keith L. Downing
claim paper
Read More »
151
click to vote
TMRA
2007
Springer
130
views
Software Engineering
»
more
TMRA 2007
»
Mapping between the Dublin Core Abstract Model DCAM and the TMDM
16 years 1 months ago
Download
www.informatik.uni-leipzig.de
Lutz Maicher
claim paper
Read More »
« Prev
« First
page 271 / 2597
Last »
Next »
