79 search results - page 15 / 16 » Lightweight validation of natural language requirements |
EACL
1993
ACL Anthology
13 years 8 months ago
1993
ACL Anthology
In this paper, we describe a method for structural noun phrase disambiguation which mainly relies on the examination of the text corpus under analysis and doesn't need to int...
ECBS
2006
IEEE
14 years 1 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
PKC
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...
WCRE
2010
IEEE
13 years 5 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
ALT
2004
Springer
14 years 4 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...