729 search results - page 72 / 146 » Supporting Use-Case Reviews |
141
click to vote
NGC
2006
Springer
14 years 11 months ago
2006
Springer
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...
PSYCHNOLOGY
2006
14 years 11 months ago
2006
The transformation from film-based to filmless operations has become more and more challenging as medical imaging studies expand in size and complexity. To adapt to these changes ...
IJIIDS
2007
14 years 11 months ago
2007
: We analyse 18 evaluation methods for learning algorithms and classifiers, and show how to categorise these methods with the help of an evaluation method taxonomy based on several...
JOT
2007
14 years 11 months ago
2007
Today information management technology faces two major related challenges. One is to tame the information and options explosion that are upon us. Another is to support the inform...
104
click to vote
FMSD
2000
14 years 11 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...