Sciweavers

915 search results - page 148 / 183
» Template Based Structured Collections
Sort
View
ICFP
1998
ACM
15 years 4 months ago
Intensional Polymorphism in Type-Erasure Semantics
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...
IUI
1998
ACM
15 years 4 months ago
Deja Vu: A Knowledge-rich Interface for Retrieval in Digital Libraries
Providing access to digital libraries will require interfaces that effectively mediate between the retrieval needs of library users and the materials that the library has to offer...
Andrew S. Gordon, Eric A. Domeshek
KDD
2010
ACM
327views Data Mining» more  KDD 2010»
15 years 3 months ago
Cold start link prediction
In the traditional link prediction problem, a snapshot of a social network is used as a starting point to predict, by means of graph-theoretic measures, the links that are likely ...
Vincent Leroy, Berkant Barla Cambazoglu, Francesco...
ESOP
2007
Springer
15 years 3 months ago
Type Reconstruction for General Refinement Types
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
Kenneth W. Knowles, Cormac Flanagan
SIGIR
2010
ACM
15 years 3 months ago
How good is a span of terms?: exploiting proximity to improve web retrieval
Ranking search results is a fundamental problem in information retrieval. In this paper we explore whether the use of proximity and phrase information can improve web retrieval ac...
Krysta Marie Svore, Pallika H. Kanani, Nazan Khan