Sciweavers

24132 search results - page 346 / 4827
» and 2009
Sort
View
TLCA
2009
Springer
16 years 3 days ago
Refinement Types as Proof Irrelevance
William Lovas, Frank Pfenning
145
Voted
WABI
2009
Springer
16 years 3 days ago
Predicting Gene Structures from Multiple RT-PCR Tests
Jakub Kovác, Tomás Vinar, Brona Brej...
WAW
2009
Springer
115views Algorithms» more  WAW 2009»
16 years 3 days ago
Web Page Rank Prediction with PCA and EM Clustering
Polyxeni Zacharouli, Michalis Titsias, Michalis Va...
WAW
2009
Springer
77views Algorithms» more  WAW 2009»
16 years 3 days ago
Choose the Damping, Choose the Ranking?
Marco Bressan 0002, Enoch Peserico