23704 search results - page 511 / 4741 » Data and Information as Property |
334
click to vote
POPL
2004
ACM
16 years 7 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...
308
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
We present Avatar Semantic Search, a prototype search engine that exploits annotations in the context of classical keyword search. The process of annotations is accomplished offli...
188
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
We study the phonetic information in the signal from an ultrasonic “microphone”, a device that emits an ultrasonic wave toward a speaker and receives the reflected, Doppler-s...
166
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider the problem of online learning in a changing environment under sparse user feedback. Specifically, we address the classification of music types according to a user...
207
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Word meaning disambiguation has always been an important problem in many computer science tasks, such as information retrieval and extraction. One of the problems, faced in automa...