Sciweavers

2950 search results - page 138 / 590
» Computing with Infinitely Many Processes
Sort
View
MAICS
2003
15 years 4 months ago
Representing Symbolic Reasoning
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
Brian E. Mastenbrook, Eric G. Berkowitz

Tutorial
4675views
17 years 1 months ago
Writing Fast Matlab Code
This article discusses strategies for improving the speed of Matlab code. Keep in mind that speed depends heavily on the computation platform and that the fastest method on one sys...
Pascal Getreuer,
SOFSEM
1998
Springer
15 years 6 months ago
The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections
Abstract. The problem of reconstructing a discrete set from its horizontal and vertical projections (RSP) is of primary importance in many different problems for example pattern re...
Maciej Gebala
HOA
1993
15 years 6 months ago
The Semantics of SPECTRUM
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
Radu Grosu, Franz Regensburger
153
Voted
ACL
2012
13 years 5 months ago
Combining Coherence Models and Machine Translation Evaluation Metrics for Summarization Evaluation
An ideal summarization system should produce summaries that have high content coverage and linguistic quality. Many state-ofthe-art summarization systems focus on content coverage...
Ziheng Lin, Chang Liu, Hwee Tou Ng, Min-Yen Kan