642 search results - page 28 / 129 » Once Upon a Type |
EDM
2009
14 years 9 months ago
2009
In this paper, we present a study of a large corpus of student logic exercises in which we explore the relationship between two distinct measures of difficulty: the proportion of s...
100
click to vote
CAIP
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we present an easy method for automatic 3D garment pre-positioning. Given a digital 3D mannequin and a set of 2D patterns, the problem consists in sewing automatical...
105
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Phylogenetic trees resulting from molecular phylogenetic analysis are available in Newick format from specialized databases but when it comes to phylogenetic networks,...
102
click to vote
ISCA
2006
IEEE
15 years 5 months ago
2006
IEEE
RAID architectures have been used for more than two decades to recover data upon disk failures. Disk failure is just one of the many causes of damaged data. Data can be damaged by...
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...