351 search results - page 4 / 71 » Logics Capturing Local Properties |
TARK
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
MEMOCODE
2005
IEEE
14 years 1 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
The use of image patches to capture local correlations between pixels has been growing in popularity for use in various low-level vision tasks. There is a trade-off between using ...
LREC
2010
13 years 9 months ago
2010
We investigate which distributional properties should be present in a tagset by examining different mappings of various current part-ofspeech tagsets, looking at English, German, ...