Sciweavers

1620 search results - page 210 / 324
» eg 2010
Sort
View
WOLLIC
2010
Springer
14 years 9 months ago
Intersection Type Systems and Explicit Substitutions Calculi
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
Daniel Lima Ventura, Mauricio Ayala-Rincón,...
WS
2010
ACM
14 years 9 months ago
Structured literature image finder: Parsing text and figures in biomedical literature
The SLIF project combines text-mining and image processing to extract structured information from biomedical literature. SLIF extracts images and their captions from published pap...
Amr Ahmed, Andrew Arnold, Luís Pedro Coelho...
CORR
2010
Springer
152views Education» more  CORR 2010»
14 years 9 months ago
A new key establishment scheme for wireless sensor networks
Traditional key management techniques, such as public key cryptography or key distribution center (e.g., Kerberos), are often not effective for wireless sensor networks for the se...
Eric Ke Wang, Lucas Chi Kwong Hui, Siu-Ming Yiu
ACL
2010
14 years 9 months ago
Unsupervised Ontology Induction from Text
Extracting knowledge from unstructured text is a long-standing goal of NLP. Although learning approaches to many of its subtasks have been developed (e.g., parsing, taxonomy induc...
Hoifung Poon, Pedro Domingos
ACL
2010
14 years 9 months ago
Towards Robust Multi-Tool Tagging. An OWL/DL-Based Approach
This paper describes a series of experiments to test the hypothesis that the parallel application of multiple NLP tools and the integration of their results improves the correctne...
Christian Chiarcos