Sciweavers

5159 search results - page 345 / 1032
» Structural Testing of Executables
Sort
View
ACNS
2005
Springer
138views Cryptology» more  ACNS 2005»
16 years 26 days ago
Indexing Information for Data Forensics
We introduce novel techniques for organizing the indexing structures of how data is stored so that alterations from an original version can be detected and the changed values speci...
Michael T. Goodrich, Mikhail J. Atallah, Roberto T...
IJCNLP
2005
Springer
16 years 25 days ago
A Rule Based Syllabification Algorithm for Sinhala
This paper presents a study of Sinhala syllable structure and an algorithm for identifying syllables in Sinhala words. After a thorough study of the Syllable structure and linguis...
Ruvan Weerasinghe, Asanka Wasala, Kumudu Gamage
GECCO
1999
Springer
105views Optimization» more  GECCO 1999»
15 years 11 months ago
Linkage Information Processing In Distribution Estimation Algorithms
The last few years there has been an increasing amount of interest in the eld of distribution estimation optimization algorithms. As more techniques are introduced, the variety in...
Peter A. N. Bosman, Dirk Thierens
PRICAI
1998
Springer
15 years 11 months ago
Point-Based Approaches to Qualitative Temporal Reasoning
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
Tim Van Allen, James P. Delgrande, Arvind Gupta
ESOP
2000
Springer
15 years 11 months ago
Improving the Representation of Infinite Trees to Deal with Sets of Trees
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
Laurent Mauborgne