384 search results - page 15 / 77 » Get another label |
83
Voted
FCT
2005
Springer
15 years 6 months ago
2005
Springer
A partitioning of a set of n items is a grouping of these items into k disjoint, equally sized classes. Any partition can be modeled as a graph. The items become the vertices of th...
130
Voted
ESA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper addresses strategies for the stable marriage problem. For the Gale-Shapley algorithm with men proposing, a classical theorem states that it is impossible for e...
92
Voted
SP
2008
IEEE
15 years 7 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
122
Voted
JSC
2002
15 years 12 days ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
116
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
We propose an approach for cross-view action recognition by way of ‘virtual views’ that connect the action descriptors extracted from one (source) view to those extracted from...