4224 search results - page 72 / 845 » Reasoning about Choice |
100
click to vote
CASCON
2001
15 years 13 days ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
ISTA
2001
15 years 13 days ago
2001
: The interest in the study of trust has grown steadily since 1990 in a wide range of scholarly disciplines. The science of information systems is no exception, since the concepts ...
IJCAI
2003
15 years 12 days ago
2003
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...
121
click to vote
SCS
2003
15 years 12 days ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
AAAI
1998
15 years 12 days ago
1998