Search Sciweavers | Sciweavers

887 search results - page 4 / 178

» A Science of Reasoning

118

click to vote

SEMWEB
2007
Springer

120views Internet Technology» more SEMWEB 2007»

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences

15 years 9 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 deﬁnition is relatively informal, so, in this paper, we provide a clear spe...

Christine Golbreich, Matthew Horridge, Ian Horrock...

claim paper

Read More »

Voted

LICS
2009
IEEE

97views Automated Reasoning» more LICS 2009»

Computation and the Periodic Table

15 years 10 months ago

Download math.ucr.edu

John Baez

claim paper

Read More »

click to vote

LICS
2008
IEEE

104views Automated Reasoning» more LICS 2008»

Types for Hereditary Permutators

15 years 9 months ago

Download research.nii.ac.jp

Makoto Tatsuta

claim paper

Read More »

105

click to vote

LICS
2008
IEEE

86views Automated Reasoning» more LICS 2008»

Weak Topology and a Differentiable Operator for Lipschitz Maps

15 years 9 months ago

Download www.doc.ic.ac.uk

Abbas Edalat

claim paper

Read More »

103

click to vote

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers