846 search results - page 101 / 170 » Transforming structures by set interpretations |
126
Voted
LPAR
2010
Springer
15 years 16 days ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
154
Voted
TKDE
2012
13 years 5 months ago
2012
— This paper presents a method for identifying a set of dense subgraphs of a given sparse graph. Within the main applications of this “dense subgraph problem”, the dense subg...
100
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...
106
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Microarray experiments generate vast amounts of data. The functional context of differentially expressed genes can be assessed by querying the Gene Ontology (GO) datab...
146
Voted
PAMI
2012
13 years 5 months ago
2012
—There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context mod...