16616 search results - page 423 / 3324 » Extending Extended Vacuity |
222
click to vote
CIE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization...
192
click to vote
CLIMA
2011
14 years 7 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
241
click to vote
CONCUR
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
228
click to vote
ECSCW
2011
14 years 7 months ago
2011
Virtual worlds can allow conversational participants to achieve common ground in situations where the information volume and need for clarification is low. We argue in favor of thi...
200
click to vote
ECSCW
2011
14 years 7 months ago
2011
There are many theories useful for framing CSCW research and they may in principle be irreducible to a single theory. CSCW research explores questions involving numerous distinctâ€...