450 search results - page 66 / 90 » Formal Methods for Industrial Products |
CSCWD
2008
Springer
13 years 9 months ago
2008
Springer
This research explored a new direction of improving collaborative design by performance measurement. More specifically, a novel 3-dimensional performance measurement model is deve...
EMNLP
2008
13 years 9 months ago
2008
We present a discriminative, latent variable approach to syntactic parsing in which rules exist at multiple scales of refinement. The model is formally a latent variable CRF gramm...
NAACL
2007
13 years 9 months ago
2007
We present a method for utilizing unannotated sentences to improve a semantic parser which maps natural language (NL) sentences into their formal meaning representations (MRs). Gi...
DESRIST
2010
Springer
14 years 14 days ago
2010
Springer
Maturity models are a well-known instrument to support the improvement of functional domains in IS, like software development or testing. While maturity models may share a common s...
OOIS
2001
Springer
14 years 3 days ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...