Sciweavers

1332 search results - page 24 / 267
» ideas 2008
Sort
View
FLOPS
2008
Springer
14 years 11 months ago
Proving Properties about Lists Using Containers
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
Rawle Prince, Neil Ghani, Conor McBride
GECCO
2008
Springer
148views Optimization» more  GECCO 2008»
14 years 10 months ago
Combining cartesian genetic programming with an estimation of distribution algorithm
This paper describes initial testing of a novel idea to combine a CGP with an EDA. In recent work a new improved crossover technique was successfully applied to a CGP. To implemen...
Janet Clegg
ACL
2008
14 years 11 months ago
Gestural Cohesion for Topic Segmentation
This paper explores the relationship between discourse structure and coverbal gesture. Using the idea of gestural cohesion, we show that coherent topic segments are characterized ...
Jacob Eisenstein, Regina Barzilay, Randall Davis
ACL
2008
14 years 11 months ago
Ad Hoc Treebank Structures
We outline the problem of ad hoc rules in treebanks, rules used for specific constructions in one data set and unlikely to be used again. These include ungeneralizable rules, erro...
Markus Dickinson
BILDMED
2008
14 years 11 months ago
Intersection Line Length Normalization in CT Projection Data
Abstract. We present a method to improve the quality of common sinogram restoration algorithms, which are used for metal-artifact reduction in X-ray CT. The presented approach is b...
Jan Müller 0002, Thorsten M. Buzug