2701 search results - page 98 / 541 » On the form of witness terms |
153
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this short note we demonstrate the applicability of hyperlink downweighting by means of language model disagreement. The method filters out hyperlinks with no relevance to the ...
296
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
293
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
138
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
I propose the concept of expressive surfaces as a research theme to investigate and explore aesthetics of computational objects with its emphasis on forms and materials. In this p...
183
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The analysis for microphone arrays formed by mounting microphones on a sound-hard spherical or cylindrical baf e is typically performed using a decomposition of the sound field i...