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
12745
search results - page 196 / 2549
»
Automating test automation
Sort
relevance
views
votes
recent
update
View
thumb
title
106
click to vote
CSL
2010
Springer
118
views
Automated Reasoning
»
more
CSL 2010
»
Efficient Enumeration for Conjunctive Queries over X-underbar Structures
15 years 7 months ago
Download
hal.archives-ouvertes.fr
Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, O...
claim paper
Read More »
105
click to vote
DLOG
2009
77
views
Automated Reasoning
»
more
DLOG 2009
»
Query Answering over DL ABoxes: How to Pick the Relevant Symbols
15 years 7 months ago
Download
sunsite.informatik.rwth-aachen.de
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank...
claim paper
Read More »
107
click to vote
DLOG
2009
106
views
Automated Reasoning
»
more
DLOG 2009
»
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite
15 years 7 months ago
Download
www.csc.liv.ac.uk
Roman Kontchakov, Carsten Lutz, David Toman, Frank...
claim paper
Read More »
105
click to vote
DLOG
2009
104
views
Automated Reasoning
»
more
DLOG 2009
»
DL-Lite without UNA
15 years 7 months ago
Download
www.inf.unibz.it
Alessandro Artale, Diego Calvanese, Roman Kontchak...
claim paper
Read More »
109
click to vote
GIS
2008
ACM
89
views
Automated Reasoning
»
more
GIS 2008
»
Towards trajectory anonymization: a generalization-based approach
15 years 7 months ago
Download
www.cs.purdue.edu
Mehmet Ercan Nergiz, Maurizio Atzori, Yücel S...
claim paper
Read More »
« Prev
« First
page 196 / 2549
Last »
Next »
