3190 search results - page 29 / 638 » cans 2011 |
SYNTHESE
2011
14 years 4 months ago
2011
A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the ...
SYNTHESE
2011
14 years 4 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
SYNTHESE
2011
14 years 4 months ago
2011
Rudolf Carnap’s Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we...
TCIAIG
2011
14 years 4 months ago
2011
—Launchpad is an autonomous level generator that is based on a formal model of 2-D platformer level design. Levels are built out of small segments called “rhythm groups,” whi...
TCOM
2011
14 years 4 months ago
2011
—We propose a network-coding based scheme to protect multiple bidirectional unicast connections against adversarial errors and failures in a network. The end nodes of the bidirec...