Sciweavers

6599 search results - page 26 / 1320
» Towards a Theory of Information
Sort
View
FOSSACS
2010
Springer
15 years 8 months ago
Toward a Compositional Theory of Leftist Grammars and Transformations
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
Pierre Chambart, Ph. Schnoebelen
KR
2010
Springer
15 years 6 months ago
Towards a Logic of Feature-Based Semantic Science Theories
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
David Poole
DCC
2006
IEEE
16 years 1 months ago
Toward a Source Coding Theory for Sets
Lav R. Varshney, Vivek K. Goyal
PDS
1996
15 years 3 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