Sciweavers

1487 search results - page 117 / 298
» The Computational Complexity of Link Building
Sort
View
EACL
1993
ACL Anthology
15 years 5 months ago
Inheriting Verb Alternations
The paper shows how the verbal lexicon can be formalised in a way that captures and exploits generalisations about the alternation behaviour of verb classes. An alternation is a p...
Adam Kilgarriff
CGF
2000
106views more  CGF 2000»
15 years 4 months ago
Constructive Volume Geometry
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
Min Chen, J. V. Tucker
CADE
2009
Springer
16 years 4 months ago
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
Martin C. Rinard
XSYM
2009
Springer
139views Database» more  XSYM 2009»
15 years 11 months ago
A Data Parallel Algorithm for XML DOM Parsing
Abstract. The extensible markup language XML has become the de facto standard for information representation and interchange on the Internet. XML parsing is a core operation perfor...
Bhavik Shah, Praveen Rao, Bongki Moon, Mohan Rajag...
BMCBI
2010
84views more  BMCBI 2010»
15 years 4 months ago
An integrated analysis of molecular aberrations in NCI-60 cell lines
Background: Cancer is a complex disease where various types of molecular aberrations drive the development and progression of malignancies. Large-scale screenings of multiple type...
Chen-Hsiang Yeang