332 search results - page 3 / 67 » Automatic Structures: Richness and Limitations |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
SEMCO
2008
IEEE
13 years 11 months ago
2008
IEEE
A huge amount of data and metadata emerges from Web 2.0 applications which have transformed the Web to a mass social interaction and collaboration medium. Collaborative Tagging Sy...
ICSE
2007
IEEE-ACM
13 years 11 months ago
2007
IEEE-ACM
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
COLING
2010
12 years 12 months ago
2010
We employ Maximum Entropy model to conduct sub-tree alignment between bilingual phrasal structure trees. Various lexical and structural knowledge is explored to measure the syntac...
EMNLP
2007
13 years 6 months ago
2007
We present results that show that incorporating lexical and structural semantic information is effective for word sense disambiguation. We evaluated the method by using precise in...