4211 search results - page 642 / 843 » Types as Abstract Interpretations |
137
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
150
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Ontology matching has become an important field of research over the last years. Although many different approaches have been proposed, only few of them are committed t...
212
click to vote
SAGA
2009
Springer
15 years 11 months ago
2009
Springer
We propose a generic method for obtaining quickly good upper bounds on the minimal value of a multistage stochastic program. The method is based on the simulation of a feasible dec...
151
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Leveraging clickthrough data has become a popular approach for evaluating and optimizing information retrieval systems. Although data is plentiful, one must take care when interpr...
156
click to vote
ECCB
2008
IEEE
15 years 11 months ago
2008
IEEE
Motivation: Extracting functional information from protein–protein interactions (PPI) poses significant challenges arising from the noisy, incomplete, generic and static nature...