2137 search results - page 231 / 428 » Proving Abstract Non-interference |
114
Voted
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this work we study the theoretical and empirical properties of various global inference algorithms for multi-document summarization. We start by defining a general fr...
136
Voted
ICONIP
2007
15 years 5 months ago
2007
Abstract. Principal component analysis (PCA) is a widely used technique for data analysis and dimensionality reduction. Eigenvalue decomposition is the standard algorithm for solvi...
125
Voted
LREC
2008
15 years 5 months ago
2008
We describe techniques for the automatic detection of relationships among domain entities (e.g. genes, proteins, diseases) mentioned in the biomedical literature. Our approach is ...
104
Voted
BNCOD
2004
15 years 5 months ago
2004
Abstract. The Personal Response System (PRS) enables audience responses to multiple choice questions to be collected quickly, and for a summary of all the answers to be displayed t...
112
Voted
CLIMA
2004
15 years 5 months ago
2004
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...