Sciweavers

617 search results - page 91 / 124
» Patterns for decoupling data structures and algorithms
Sort
View
114
Voted
CIKM
2010
Springer
15 years 24 days ago
Mining interesting link formation rules in social networks
Link structures are important patterns one looks out for when modeling and analyzing social networks. In this paper, we propose the task of mining interesting Link Formation rules...
Cane Wing-ki Leung, Ee-Peng Lim, David Lo, Jianshu...
249
Voted
ICFP
2009
ACM
16 years 2 months ago
Complete and decidable type inference for GADTs
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulz...
106
Voted
XIMEP
2006
ACM
179views Database» more  XIMEP 2006»
15 years 8 months ago
Positional Grouping in XQuery
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
Michael H. Kay
AAAI
2010
15 years 3 months ago
Soundness Preserving Approximation for TBox Reasoning
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
104
Voted
TREC
2004
15 years 3 months ago
Question Answering by Searching Large Corpora With Linguistic Methods
In this paper we describe the QuALiM Question Answering system which uses linguistic analysis of questions as well as candidate sentences in its answer finding process. To this en...
Michael Kaißer, Tilman Becker