222 search results - page 14 / 45 » di 2010 |
IPL
2010
13 years 6 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
PC
2010
13 years 6 months ago
2010
• ‘Constructing 130/30-Portfolios with the Omega Ratio’, http://ssrn.com/abstract=1464798 (forthcoming, Journal of Asset Management), (with E. Schumann, G. di Tollo, G. Cabej...
SPLC
2010
13 years 9 months ago
2010
Abstract. FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research...
ICWE
2010
Springer
13 years 6 months ago
2010
Springer
Inspired by the Google Wonder Wheel1 , in this paper we present Semantic Wonder Cloud (SWOC): a tool that helps users in knowledge exploration within the DBpedia dataset by adoptin...
SAS
2010
Springer
13 years 6 months ago
2010
Springer
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...