578 search results - page 39 / 116 » E-Satisfaction - A Comprehensive Framework |
SIGIR
2003
ACM
14 years 3 months ago
2003
ACM
This poster reports upon the ongoing efforts being made to establish TREC-like and other comprehensive evaluation paradigms within the Music IR (MIR) and Music Digital Library (MD...
IWPC
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
FM
2009
Springer
14 years 4 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
PKDD
1998
Springer
14 years 2 months ago
1998
Springer
Knowledge discovery in databases (KDD) is a process that can include steps like forming the data set, data transformations, discovery of patterns, searching for exceptions to a pat...
CIVR
2008
Springer
13 years 11 months ago
2008
Springer
The amount of available digital multimedia has seen exponential growth in recent years. While advances have been made in the indexing and searching of images and videos, less focu...