877 search results - page 20 / 176 » Full Abstraction for HOPLA |
JANCL
2007
13 years 7 months ago
2007
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
BEHAVIOURIT
2002
13 years 7 months ago
2002
Abstract. An experiment is reported that compared expandable indexes providing full menu context with sequentialmenus providing only partial context. Menu depth was varied using hi...
VLDB
1989
ACM
13 years 11 months ago
1989
ACM
with a full abstract specification of the data-types involved and a multi-level architecture similar to that of a DBMS. A related question is the kind of model that is most suitabl...
SAT
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Preprocessing has proven important in enabling efficient Boolean satisfiability (SAT) solving. For many real application scenarios of SAT it is important to be able to ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Abstract-- In this paper, we investigate communication strategies for the multiple access channel with feedback and correlated sources (MACFCS). The MACFCS models a wireless sensor...