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
31387
search results - page 294 / 6278
»
Abstracting abstract machines
Sort
relevance
views
votes
recent
update
View
thumb
title
150
click to vote
LREC
2008
94
views
Education
»
more
LREC 2008
»
Mapping Events and Abstract Entities from PAROLE-SIMPLE-CLIPS to ItalWordNet
15 years 8 months ago
Download
www.lrec-conf.org
Adriana Roventini, Nilda Ruimy
claim paper
Read More »
100
click to vote
MKWI
2008
127
views
Business
»
more
MKWI 2008
»
An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process
15 years 8 months ago
Download
ibis.in.tum.de
Ralph Mietzner, Zhilei Ma, Frank Leymann
claim paper
Read More »
125
click to vote
MODELLIERUNG
2008
81
views
Software Engineering
»
more
MODELLIERUNG 2008
»
Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy
15 years 8 months ago
Download
isweb.uni-koblenz.de
Fernando Silva Parreiras, Steffen Staab, Andreas W...
claim paper
Read More »
122
click to vote
MODELLIERUNG
2008
81
views
Software Engineering
»
more
MODELLIERUNG 2008
»
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes
15 years 8 months ago
Download
wwwteo.informatik.uni-rostock.de
Niels Lohmann, Jens Kleine
claim paper
Read More »
124
click to vote
IPCO
2007
66
views
Optimization
»
more
IPCO 2007
»
Maximizing a Submodular Set Function Subject to a Matroid Constraint (Extended Abstract)
15 years 8 months ago
Download
www.cs.uiuc.edu
Gruia Calinescu, Chandra Chekuri, Martin Pá...
claim paper
Read More »
« Prev
« First
page 294 / 6278
Last »
Next »
