3527 search results - page 340 / 706 » Test Automation in Practice |
145
click to vote
IUI
2005
ACM
16 years 7 days 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...
168
click to vote
ECSQARU
2005
Springer
16 years 6 days 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...
174
click to vote
LOPSTR
2005
Springer
16 years 5 days 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 ...
142
click to vote
RE
2005
Springer
16 years 4 days 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 ...
185
click to vote
DILS
2004
Springer
16 years 1 days 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...