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 336 / 6278
»
Abstracts
Sort
relevance
views
votes
recent
update
View
thumb
title
149
click to vote
ISOLA
2010
Springer
103
views
Formal Methods
»
more
ISOLA 2010
»
Inference and Abstraction of the Biometric Passport
15 years 5 months ago
Download
www.fidesaarts.nl
Fides Aarts, Julien Schmaltz, Frits W. Vaandrager
claim paper
Read More »
118
click to vote
JAIR
2010
95
views
more
JAIR 2010
»
Change in Abstract Argumentation Frameworks: Adding an Argument
15 years 5 months ago
Download
www.jair.org
Claudette Cayrol, Florence Dupin de Saint-Cyr, Mar...
claim paper
Read More »
142
Voted
JAIR
2010
74
views
more
JAIR 2010
»
Implicit Abstraction Heuristics
15 years 5 months ago
Download
www.jair.org
Michael Katz, Carmel Domshlak
claim paper
Read More »
160
click to vote
JBI
2010
105
views
Bioinformatics
»
more
JBI 2010
»
Beyond genes, proteins, and abstracts: Identifying scientific claims from full-text biomedical articles
15 years 5 months ago
Download
ebd.lis.illinois.edu
Catherine Blake
claim paper
Read More »
158
click to vote
TSE
2008
76
views
more
TSE 2008
»
Static Specification Mining Using Automata-Based Abstractions
15 years 5 months ago
Download
domino.research.ibm.com
Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco ...
claim paper
Read More »
« Prev
« First
page 336 / 6278
Last »
Next »