Sciweavers

2713 search results - page 225 / 543
» Parameterized Tree Systems
Sort
View
127
Voted
ACL
2008
15 years 6 months ago
Sentence Simplification for Semantic Role Labeling
Parse-tree paths are commonly used to incorporate information from syntactic parses into NLP systems. These systems typically treat the paths as atomic (or nearly atomic) features...
David Vickrey, Daphne Koller
WICSA
2004
15 years 6 months ago
Compositional Generation of Software Architecture Performance QN Models
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
Antinisca Di Marco, Paola Inverardi
RE
2006
Springer
15 years 5 months ago
Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations
In the United States, federal and state regulations prescribe stakeholder rights and obligations that must be satisfied by the requirements for software systems. These regulations ...
Travis D. Breaux, Matthew W. Vail, Annie I. Ant&oa...
134
Voted
MOC
2002
100views more  MOC 2002»
15 years 4 months ago
Numerical computation of viscous profiles for hyperbolic conservation laws
Viscous profiles of shock waves in systems of conservation laws can be viewed as heteroclinic orbits in associated systems of ordinary differential equations (ODE). In the case of ...
Heinrich Freistühler, Christian Rohde
JFP
2008
97views more  JFP 2008»
15 years 3 months ago
HM(X) type inference is CLP(X) solving
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
Martin Sulzmann, Peter J. Stuckey