Search Sciweavers | Sciweavers

1364 search results - page 9 / 273

» Comparative Branching-Time Semantics

click to vote

LREC
2010

209views Education» more LREC 2010»

Comparing Computational Models of Selectional Preferences - Second-order Co-Occurrence vs. Latent Semantic Clusters

13 years 8 months ago

Download www.lrec-conf.org

This paper presents a comparison of three computational approaches to selectional preferences: (i) an intuitive distributional approach that uses second-order co-occurrence of pre...

Sabine Schulte im Walde

claim paper

Read More »

click to vote

JIB
2010

85views more JIB 2010»

An evaluation of the performance of three semantic background knowledge sources in comparative anatomy

13 years 5 months ago

Download journal.imbio.de

In this paper we evaluate the performance and usefulness of three semantic background knowledge sources for predicting synonymous anatomical terms across species boundaries. The r...

Ernest A. A. van Ophuizen, Jack A. M. Leunissen

claim paper

Read More »

click to vote

LICS
2008
IEEE

88views Automated Reasoning» more LICS 2008»

Reachability Games and Game Semantics: Comparing Nondeterministic Programs

14 years 1 months ago

Download www.comlab.ox.ac.uk

We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...

Andrzej S. Murawski

claim paper

Read More »

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

13 years 12 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »