Sciweavers

3831 search results - page 423 / 767
» Dynamic Context Logic
Sort
View
EACL
2009
ACL Anthology
16 years 7 months ago
Evaluating the Inferential Utility of Lexical-Semantic Resources
Lexical-semantic resources are used extensively for applied semantic inference, yet a clear quantitative picture of their current utility and limitations is largely missing. We pr...
Shachar Mirkin, Ido Dagan, Eyal Shnarch
EDBT
2002
ACM
130views Database» more  EDBT 2002»
16 years 6 months ago
Gene Expression Data Management: A Case Study
One of the major challenges facing scientists dealing with gene expression data is how to integrate, explore and analyze vast quantities of related data, often residing in multiple...
Victor M. Markowitz, I-Min A. Chen, Anthony Kosky
FOSSACS
2010
Springer
16 years 1 months ago
Solvability in Resource Lambda-Calculus
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
Michele Pagani, Simona Ronchi Della Rocca
CIKM
2009
Springer
16 years 1 months ago
A query language for analyzing networks
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
Anton Dries, Siegfried Nijssen, Luc De Raedt
ESA
2009
Springer
106views Algorithms» more  ESA 2009»
16 years 1 months ago
Fast Evaluation of Interlace Polynomials on Graphs of Bounded Treewidth
Abstract. We consider the multivariate interlace polynomial introduced by Courcelle (2008), which generalizes several interlace polynomials defined by Arratia, Bollob´as, and Sor...
Markus Bläser, Christian Hoffmann