3502 search results - page 584 / 701 » From Machine Learning to Machine Reasoning |
183
Voted
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Privacy is an enormous problem in online social networking sites. While sites such as Facebook allow users fine-grained control over who can see their profiles, it is difficult ...
137
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
—Since machine learning has become a tool to make more efficient design of sophisticated systems, we present in this paper a novel methodology to create powerful neural network ...
254
click to vote
AUSDM
2008
Springer
15 years 6 months ago
2008
Springer
Supervised text categorization is a machine learning task where a predefined category label is automatically assigned to a previously unlabelled document based upon characteristic...
152
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
128
click to vote
SYSTOR
2010
ACM
15 years 9 months ago
2010
ACM
I/O intensive workloads running in virtual machines can suffer massive performance degradation. Direct assignment of I/O devices to virtual machines is the best performing I/O vir...