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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
887
search results - page 4 / 178
»
A Science of Reasoning
Sort
relevance
views
votes
recent
update
View
thumb
title
20
click to vote
SEMWEB
2007
Springer
120
views
Internet Technology
»
more
SEMWEB 2007
»
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences
14 years 1 months ago
Download
www.med.univ-rennes1.fr
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...
Christine Golbreich, Matthew Horridge, Ian Horrock...
claim paper
Read More »
13
click to vote
LICS
2009
IEEE
97
views
Automated Reasoning
»
more
LICS 2009
»
Computation and the Periodic Table
14 years 2 months ago
Download
math.ucr.edu
John Baez
claim paper
Read More »
20
click to vote
LICS
2008
IEEE
104
views
Automated Reasoning
»
more
LICS 2008
»
Types for Hereditary Permutators
14 years 2 months ago
Download
research.nii.ac.jp
Makoto Tatsuta
claim paper
Read More »
21
click to vote
LICS
2008
IEEE
86
views
Automated Reasoning
»
more
LICS 2008
»
Weak Topology and a Differentiable Operator for Lipschitz Maps
14 years 2 months ago
Download
www.doc.ic.ac.uk
Abbas Edalat
claim paper
Read More »
18
click to vote
LICS
2008
IEEE
77
views
Automated Reasoning
»
more
LICS 2008
»
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs
14 years 2 months ago
Download
userweb.cs.utexas.edu
Vineet Kahlon
claim paper
Read More »
« Prev
« First
page 4 / 178
Last »
Next »