Sciweavers

1351 search results - page 4 / 271
» An Analysis of Inference with the Universum
Sort
View
ACL
2010
14 years 7 months ago
Assessing the Role of Discourse References in Entailment Inference
Discourse references, notably coreference and bridging, play an important role in many text understanding applications, but their impact on textual entailment is yet to be systema...
Shachar Mirkin, Ido Dagan, Sebastian Padó
ICSE
2011
IEEE-ACM
14 years 1 months ago
Inference of field initialization
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
Fausto Spoto, Michael D. Ernst
ENTCS
2010
133views more  ENTCS 2010»
14 years 4 months ago
Inference of Session Types From Control Flow
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
Peter Collingbourne, Paul H. J. Kelly
IPM
2010
133views more  IPM 2010»
14 years 8 months ago
A concept-relationship acquisition and inference approach for hierarchical taxonomy construction from tags
Taxonomy construction is a resource-demanding, top down, and time consuming effort. It does not always cater for the prevailing context of the captured information. This paper pro...
Eric Tsui, W. M. Wang, Chi Fai Cheung, Adela S. M....
BIOINFORMATICS
2011
14 years 1 months ago
ProDy: Protein Dynamics Inferred from Theory and Experiments
Summary: We developed a Python package, ProDy, for structurebased analysis of protein dynamics. ProDy allows for quantitative characterization of structural variations in heteroge...
Ahmet Bakan, Lidio M. Meireles, Ivet Bahar