1090 search results - page 29 / 218 » Type-Directed Partial Evaluation |
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
We propose a new method to group partials produced by each instrument of a polyphonic audio mixture. This method works for pitched and harmonic instruments and is specially adapte...
MTA
2007
13 years 7 months ago
2007
Complex multimedia queries, aiming to retrieve from large databases those objects that best match the query specification, are usually processed by splitting them into a set of m ...
INFSOF
2006
13 years 7 months ago
2006
Partial rollback mechanism has been widely supported by many database management systems (DBMSs). It allows a transaction to be rolled back partially, that is, only back to a cert...
PEPM
2004
ACM
14 years 28 days ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
HOTOS
1999
IEEE
13 years 12 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...