3342 search results - page 621 / 669 » Automating Abstract Interpretation |
ESWS
2009
Springer
14 years 3 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...
SAGA
2009
Springer
14 years 3 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...
WWW
2010
ACM
14 years 3 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...
ECCB
2008
IEEE
14 years 3 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...
ABIALS
2008
Springer
14 years 3 months ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...