4190 search results - page 557 / 838 » Type Class Directives |
131
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
We are creating an interactive tool to help non-professional web site builders create high quality designs. We have previously reported that quantitative measures of web page stru...
241
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
140
Voted
RECOMB
2007
Springer
16 years 5 months ago
2007
Springer
Reticulate networks are a type of phylogenetic network that are used to represent reticulate evolution involving hybridization, horizontal gene transfer or recombination. The simpl...
151
Voted
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
127
click to vote
CADE
2002
Springer
16 years 5 months ago
2002
Springer
Modularity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Michael Abbott, Neil Ghani, and Christoph L?uth Union of Equational Theo...