Sciweavers

17983 search results - page 93 / 3597
» Set Types and Applications
Sort
View
139
Voted
TLCA
2005
Springer
15 years 8 months ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
109
Voted
TRUSTBUS
2009
Springer
15 years 9 months ago
Advanced Features in Bayesian Reputation Systems
Abstract. Bayesian reputation systems are quite flexible and can relatively easily be adapted to different types of applications and environments. The purpose of this paper is to ...
Audun Jøsang, Walter Quattrociocchi
124
Voted
ISIPTA
1999
IEEE
15 years 6 months ago
Examples of Independence for Imprecise Probabilities
In this paper we try to clarify the notion of independence for imprecise probabilities. Our main point is that there are several possible definitions of independence which are app...
Inés Couso, Serafín Moral, Peter Wal...
107
Voted
WWW
2007
ACM
16 years 3 months ago
Effort estimation: how valuable is it for a web company to use a cross-company data set, compared to using its own single-compan
Previous studies comparing the prediction accuracy of effort models built using Web cross- and single-company data sets have been inconclusive, and as such replicated studies are ...
Emilia Mendes, Sergio Di Martino, Filomena Ferrucc...
DAC
2003
ACM
15 years 7 months ago
Instruction set compiled simulation: a technique for fast and flexible instruction set simulation
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
Mehrdad Reshadi, Prabhat Mishra, Nikil D. Dutt