1743 search results - page 56 / 349 » Generalized Modal Satisfiability |
LOGCOM
2010
13 years 8 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
IPMI
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Image segmentation in microscopy, especially in interferencebased optical microscopy modalities, is notoriously challenging due to inherent optical artifacts. We propose ...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
We present a gateway between the WWW and the Gnutella peer-topeer network that permits searchers on one side to be able to search and retrieve files on the other side of the gatew...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a max margin framework on image annotation and multimodal image retrieval as a structured prediction model. Following the max margin approach the image retriev...