Sciweavers

7988 search results - page 111 / 1598
» A Useful Undecidable Theory
Sort
View
SIGIR
2003
ACM
14 years 3 months ago
Fractal summarization: summarization based on fractal theory
In this paper, we introduce the fractal summarization model based on the fractal theory. In fractal summarization, the important information is captured from the source text by ex...
Christopher C. Yang, Fu Lee Wang
IWFM
2003
123views Formal Methods» more  IWFM 2003»
13 years 11 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
ACL
1996
13 years 11 months ago
On Reversing the Generation Process in Optimality Theory
Optimality Theory, a constraint-based phonology and morphology paradigm, has allowed linguists to make elegant analyses of many phenomena, including infixation and reduplication. ...
J. Eric Fosler
PDS
1996
13 years 11 months ago
Towards a theory of shared data in distributed systems
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
Simon A. Dobson, Christopher P. Wadsworth
CORR
2007
Springer
88views Education» more  CORR 2007»
13 years 10 months ago
A software for learning Information Theory basics with emphasis on Entropy of Spanish
In this paper, an educational software aimed to help learning Information Theory basics in a practical way is reported. The software, called IT-tutor-UV, can produce entropy analy...
Fabio G. Guerrero, Lucio A. Perez