733 search results - page 120 / 147 » Private inference control |
103
click to vote
CHI
2010
ACM
15 years 7 months ago
2010
ACM
The human brain and body are prolific signal generators. Recent technologies and computing techniques allow us to measure, process and interpret these signals. We can now infer su...
130
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
107
Voted
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
126
Voted
AIME
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we report on the fusion of simple retrieval strategies with thesaural resources in order to perform large-scale text categorization tasks. Unlike most related system...
136
click to vote
BIBE
2009
IEEE
15 years 7 months ago
2009
IEEE
Gene and protein structural and functional annotations expressed through controlled terminologies and ontologies are paramount especially for the aim of inferring new biomedical k...