Sciweavers

2827 search results - page 222 / 566
» CCured in the real world
Sort
View
ALENEX
2008
192views Algorithms» more  ALENEX 2008»
15 years 7 months ago
Compressed Inverted Indexes for In-Memory Search Engines
We present the algorithmic core of a full text data base that allows fast Boolean queries, phrase queries, and document reporting using less space than the input text. The system ...
Frederik Transier, Peter Sanders
BIRTHDAY
2010
Springer
15 years 7 months ago
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
Vladik Kreinovich
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 6 months ago
MapReduce for Integer Factorization
Abstract. Integer factorization is a very hard computational problem. Currently no ecient algorithm for integer factorization is publicly known. However, this is an important probl...
Javier Tordable
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 6 months ago
A Logical Temporal Relational Data Model
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
Nadeem Mahmood, Aqil Burney, Kamran Ahsan
CORR
2010
Springer
103views Education» more  CORR 2010»
15 years 6 months ago
Exploratory Analysis of Functional Data via Clustering and Optimal Segmentation
We propose in this paper an exploratory analysis algorithm for functional data. The method partitions a set of functions into K clusters and represents each cluster by a simple pr...
Georges Hébrail, Bernard Hugueney, Yves Lec...