677 search results - page 17 / 136 » Dependent Types from Counterexamples |
105
click to vote
JOT
2010
14 years 8 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
Pseudo-relevance feedback (PRF) via query-expansion has been proven to be effective in many information retrieval (IR) tasks. In most existing work, the top-ranked documents from...
ISMIR
2005
Springer
15 years 3 months ago
2005
Springer
This paper addresses the problem of identifying musical instruments in polyphonic music. Musical instrument identification (MII) is an improtant task in music information retriev...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Electronic textiles, known as computational fabrics, offer an emerging method for constructing wearable and large area applications. Because e-textiles are battery-driven and faul...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper aims to accomplish the work of assessing the aesthetic quality of a video. Unlike previous assessing works focusing mainly on the extraction of aesthetic features in a ...