Sciweavers

2375 search results - page 16 / 475
» Towards a Theory of Services
Sort
View
FOSSACS
2010
Springer
15 years 6 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
81
Voted
KR
2010
Springer
15 years 4 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
CHI
2009
ACM
16 years 10 days ago
Toward a unified theory of the multitasking continuum: from concurrent performance to task switching, interruption, and resumpti
Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...
Dario D. Salvucci, Niels Taatgen, Jelmer P. Borst
DCC
2006
IEEE
15 years 11 months ago
Toward a Source Coding Theory for Sets
Lav R. Varshney, Vivek K. Goyal