596 search results - page 114 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
The approach of using passage-level evidence for document retrieval has shown mixed results when it is applied to a variety of test beds with different characteristics. One main r...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Efficacy and Sustainability of a Telerehabilitation Program Sustainability and appropriateness of care are important components for healthcare systems as they begin integrating te...
IMC
2010
ACM
14 years 7 months ago
2010
ACM
Network tomography establishes linear relationships between the characteristics of individual links and those of end-toend paths. It has been proved that these relationships can b...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an adaptive in-band motion compensated temporal filtering (MCTF) scheme for 3-D wavelet based scalable video coding. The proposed scheme solves the motion mism...
101
click to vote
KDD
2004
ACM
15 years 10 months ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...