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 289 / 2597
»
Model Checking and Abstraction
Sort
relevance
views
votes
recent
update
View
thumb
title
154
click to vote
GI
2009
Springer
171
views
Theoretical Computer Science
»
more
GI 2009
»
An Abstract Location Model for Mobile Games
15 years 4 months ago
Download
subs.emis.de
Leif Oppermann
claim paper
Read More »
168
click to vote
BPSC
2009
153
views
Business
»
more
BPSC 2009
»
On Application of Structural Decomposition for Process Model Abstraction
15 years 4 months ago
Download
subs.emis.de
Artem Polyvyanyy, Sergey Smirnov 0002, Mathias Wes...
claim paper
Read More »
169
click to vote
BCB
2010
99
views
Bioinformatics
»
more
BCB 2010
»
Semi-supervised sequence classification using abstraction augmented Markov models
15 years 1 months ago
Download
www.cs.iastate.edu
Cornelia Caragea, Adrian Silvescu, Doina Caragea, ...
claim paper
Read More »
129
click to vote
CORR
2011
Springer
144
views
Education
»
more
CORR 2011
»
Simulation of Self-Assembly in the Abstract Tile Assembly Model with ISU TAS
15 years 1 months ago
Download
www.cs.iastate.edu
Matthew J. Patitz
claim paper
Read More »
152
click to vote
COGSR
2010
73
views
more
COGSR 2010
»
Personal Publication Assistant: Abstract recommendations by a cognitive model
15 years 1 months ago
Download
www.ai.rug.nl
Leendert van Maanen, Hedderik van Rijn, Maarten va...
claim paper
Read More »
« Prev
« First
page 289 / 2597
Last »
Next »
