4224 search results - page 250 / 845 » Reasoning about Choice |
235
click to vote
JANCL
2007
15 years 7 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
188
click to vote
DM
2011
14 years 10 months ago
2011
A k-plex of a latin square is a collection of cells representing each row, column, and symbol precisely k times. The classic case of k = 1 is more commonly known as a transversal....
199
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many image and signal processing kernels can be optimized for performance consuming a reasonable area by doing loops parallelization with extensive use of pipelining. This paper p...
179
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
166
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...