Sciweavers

1999 search results - page 187 / 400
» Dependently Typed Grammars
Sort
View
IPPS
1997
IEEE
15 years 10 months ago
Time-Stamping Algorithms for Parallelization of Loops at Run-Time
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...
Cheng-Zhong Xu, Vipin Chaudhary
CLEF
2010
Springer
15 years 7 months ago
Patent Classification Experiments with the Linguistic Classification System LCS
In the context of the CLEF-IP 2010 classification task, we conducted a series of experiments with the Linguistic Classification System (LCS). We compared ment representations for p...
Suzan Verberne, Merijn Vogel, Eva D'hondt
AIRS
2010
Springer
15 years 4 months ago
Relevance Ranking Using Kernels
This paper is concerned with relevance ranking in search, particularly that using term dependency information. It proposes a novel and unified approach to relevance ranking using ...
Jun Xu, Hang Li, Chaoliang Zhong
BMCBI
2006
102views more  BMCBI 2006»
15 years 6 months ago
Protein secondary structure prediction for a single-sequence using hidden semi-Markov models
Background: The accuracy of protein secondary structure prediction has been improving steadily towards the 88% estimated theoretical limit. There are two types of prediction algor...
Zafer Aydin, Yucel Altunbasak, Mark Borodovsky
PLDI
2009
ACM
16 years 7 months ago
Semantics-aware trace analysis
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannat...