Search Sciweavers | Sciweavers

11397 search results - page 19 / 2280

» A Relational Abstraction for Functions

click to vote

PSB
2001

71views Applied Computing» more PSB 2001»

Detecting Gene Relations from MEDLINE Abstracts

13 years 11 months ago

Download helix-web.stanford.edu

Matthew J. Stephens, Mathew J. Palakal, Snehasis M...

claim paper

Read More »

click to vote

CORR
2010
Springer

50views Education» more CORR 2010»

Relating Nominal and Higher-order Abstract Syntax Specifications

13 years 10 months ago

Download www-users.cs.umn.edu

Andrew Gacek

claim paper

Read More »

click to vote

BMCBI
2006

80views more BMCBI 2006»

Automatic recognition of topic-classified relations between prostate cancer and genes using MEDLINE abstracts

13 years 10 months ago

Download www.biomedcentral.com

Hong-Woo Chun, Yoshimasa Tsuruoka, Jin-Dong Kim, R...

claim paper

Read More »

click to vote

CORR
2007
Springer

97views Education» more CORR 2007»

A Few Graph-Based Relational Numerical Abstract Domains

13 years 9 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

click to vote

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers