Sciweavers

920 search results - page 26 / 184
» How Complex is Discourse Structure
Sort
View
IFM
2009
Springer
132views Formal Methods» more  IFM 2009»
15 years 9 months ago
Decomposition Structures for Event-B
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
Michael Butler
102
Voted
GECCO
2004
Springer
105views Optimization» more  GECCO 2004»
15 years 7 months ago
Softening the Structural Difficulty in Genetic Programming with TAG-Based Representation and Insertion/Deletion Operators
In a series of papers [3-8], Daida et. al. highlighted the difficulties posed to Genetic Programming (GP) by the complexity of the structural search space, and attributed the probl...
Nguyen Xuan Hoai, Robert I. McKay
115
Voted
FMSD
2002
114views more  FMSD 2002»
15 years 2 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
131
Voted
CIKM
1999
Springer
15 years 6 months ago
Metadata and Data Structures for the Historical Newspaper Digital Library
We examine metadata and data-structure issues for the Historical Newspaper Digital Library. This project proposes to digitize and then do OCR and linguisting processing on several...
Robert B. Allen, John Schalow
ICIAR
2010
Springer
15 years 6 months ago
A Geometric Data Structure Applicable to Image Mining and Retrieval
Abstract. Due to improvements in image acquisition and storage technology, terabyte-sized databases of images are nowadays common. This abundance of data leads us to two basic prob...
T. Iwaszko, Mahmoud Melkemi, Lhassane Idoumghar