Sciweavers

1541 search results - page 263 / 309
» Predicting user interests from contextual information
Sort
View
KBSE
2006
IEEE
15 years 3 months ago
A Portable Compiler-Integrated Approach to Permanent Checking
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
Eugen-Nicolae Volanschi
ISMIR
2005
Springer
123views Music» more  ISMIR 2005»
15 years 3 months ago
Polyphonic Musical Sequence Alignment for Database Search
Finding the best matching database target to a melodic query has been of great interest in the music IR world. The string alignment paradigm works well for this task when comparin...
Bryan Pardo, Manan Sanghi
ITP
2010
114views Mathematics» more  ITP 2010»
15 years 1 months ago
A New Foundation for Nominal Isabelle
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
Brian Huffman, Christian Urban
LREC
2010
199views Education» more  LREC 2010»
14 years 11 months ago
Anaphoric Annotation of Wikipedia and Blogs in the Live Memories Corpus
The Live Memories corpus is an Italian corpus annotated for anaphoric relations. This annotation effort aims to contribute to two significant issues for the CL research: the lack ...
Kepa Joseba Rodríguez, Francesca Delogu, Ya...
CORR
2010
Springer
104views Education» more  CORR 2010»
14 years 7 months ago
FreePub: Collecting and Organizing Scientific Material Using Mindmaps
This paper presents a creativity support tool, called FreePub, to collect and organize scientific material using mindmaps. Mindmaps are visual, graph-based represenations of concep...
Theodore Dalamagas, Tryfon Farmakakis, Manolis Mar...