2018 search results - page 247 / 404 » Magnitude-preserving ranking algorithms |
136
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
153
click to vote
COCO
2006
Springer
15 years 8 months ago
2006
Springer
We study the identity testing problem for depth 3 arithmetic circuits ( circuit). We give the first deterministic polynomial time identity test for circuits with bounded top fanin...
167
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper we present two experiments conducted for comparison of different language identification algorithms. Short words-, frequent words- and n-gram-based approaches are co...
172
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Query Personalization is the process of dynamically enhancing a query with related user preferences stored in a user profile with the aim of providing personalized answers. The und...
131
click to vote
ECIR
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we describe a new approach for retrieval in texts with non-standard spelling, which is important for historic texts in English or German. For this purpose, we presen...