3527 search results - page 340 / 706 » Test Automation in Practice |
122
Voted
IUI
2005
ACM
15 years 10 months ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
139
Voted
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
147
click to vote
LOPSTR
2005
Springer
15 years 10 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
120
Voted
RE
2005
Springer
15 years 10 months ago
2005
Springer
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
151
Voted
DILS
2004
Springer
15 years 10 months ago
2004
Springer
Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have import...