146 search results - page 29 / 30 » User Evaluation of a New Interactive Playlist Generation Con... |
NAR
2011
12 years 10 months ago
2011
The UCSC Cancer Genomics Browser (https:// genome-cancer.ucsc.edu) comprises a suite of web-based tools to integrate, visualize and analyze cancer genomics and clinical data. The ...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
AROBOTS
2008
13 years 7 months ago
2008
Abstract: We describe a methodology for creating new technologies for assisted living in residential environments. The number of eldercare clients is expected to grow dramatically ...
IDEAS
2009
IEEE
14 years 2 months ago
2009
IEEE
A natural consequence of the widespread adoption of XML as standard for information representation and exchange is the redundant storage of large amounts of persistent XML documen...
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
Malware — a generic term that encompasses viruses, trojans, spywares and other intrusive code — is widespread today. Malware analysis is a multi-step process providing insight...