10435 search results - page 45 / 2087 » Measuring system normality |
APLAS
2007
ACM
14 years 23 days ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
BMCBI
2010
13 years 9 months ago
2010
Background: Gene/protein recognition and normalization are important preliminary steps for many biological text mining tasks, such as information retrieval, protein-protein intera...
ICDIM
2007
IEEE
14 years 3 months ago
2007
IEEE
In recent years, efforts have begun to put math contents on the Web. As for other types of Web information, search capabilities should be provided to enable users to find what the...
IJCNLP
2005
Springer
14 years 2 months ago
2005
Springer
Temporal information is useful in many NLP applications, such as information extraction, question answering and summarization. In this paper, we present a temporal parser for extra...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s λµ calculus co...