Sciweavers

247 search results - page 42 / 50
» Controlled Natural Language for Semantic Annotation
Sort
View
CIDR
2011
274views Algorithms» more  CIDR 2011»
14 years 1 months ago
Cloud Resource Orchestration: A Data-Centric Approach
Cloud computing provides users near instant access to seemingly unlimited resources, and provides service providers the opportunity to deploy complex information technology infras...
Yun Mao, Changbin Liu, Jacobus E. van der Merwe, M...
87
Voted
ISSTA
2010
ACM
15 years 1 months ago
Strict control dependence and its effect on dynamic information flow analyses
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang...
89
Voted
FOSSACS
2008
Springer
14 years 11 months ago
Erasure and Polymorphism in Pure Type Systems
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
Nathan Mishra-Linger, Tim Sheard
CLEF
2006
Springer
15 years 1 months ago
Experimenting a "General Purpose" Textual Entailment Learner in AVE
In this paper we present the use of a "general purpose" textual entaiment recognizer in the Answer Validation Exercise (AVE) task. Our system has been developed to learn...
Fabio Massimo Zanzotto, Alessandro Moschitti
TITB
2002
98views more  TITB 2002»
14 years 9 months ago
OILing the way to machine understandable bioinformatics resources
The complex questions and analyses posed by biologists, as well as the diverse data resources they develop, require the fusion of evidence from different, independently developed ...
Robert Stevens, Carole A. Goble, Ian Horrocks, Sea...