1382 search results - page 153 / 277 » Formal Analysis of Online Algorithms |
186
click to vote
JDWM
2007
15 years 6 months ago
2007
Comprehensive data analysis has become indispensable in a variety of domains. OLAP (On-Line Analytical Processing) systems tend to perform poorly or even fail when applied to comp...
170
click to vote
DEXAW
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper presents an information retrieval methodology which uses Formal Concept Analysis in conjunction with semantics to provide contextual answers to users’ queries. User f...
150
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
Stability is a common tool to verify the validity of sample based algorithms. In clustering it is widely used to tune the parameters of the algorithm, such as the number k of clust...
175
click to vote
CSREAESA
2004
15 years 7 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
154
click to vote
COCO
2005
Springer
15 years 12 months ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...