882 search results - page 36 / 177 » On self-embeddings of computable linear orderings |
93
Voted
LICS
2009
IEEE
15 years 7 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. ...
110
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
91
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Markov random fields with higher order potentials have emerged as a powerful model for several problems in computer vision. In order to facilitate their use, we propose a new rep...
83
Voted
TIT
2008
15 years 12 days ago
2008
The problem of computing functions of values at the nodes in a network in a fully distributed manner, where nodes do not have unique identities and make decisions based only on loc...
100
click to vote
GRID
2006
Springer
15 years 15 days ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...