13099 search results - page 160 / 2620 » Cooperative method development |
121
click to vote
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
In the current project, we aim at developing an approach for automatically answering why-questions. We created a data collection for research, development and evaluation of a meth...
117
click to vote
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
15 years 9 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
125
click to vote
ZUM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
150
click to vote
COLING
2010
14 years 11 months ago
2010
This paper addresses the problem of dynamic model parameter selection for loglinear model based statistical machine translation (SMT) systems. In this work, we propose a principle...
148
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...