Sciweavers

3068 search results - page 344 / 614
» Clustering with Multiple Graphs
Sort
View
231
Voted
ICCV
2011
IEEE
14 years 6 months ago
Probabilistic Group-Level Motion Analysis and Scenario Recognition
This paper addresses the challenge of recognizing behavior of groups of individuals in unconstraint surveillance environments. As opposed to approaches that rely on agglomerative ...
Ming-Ching Chang, Nils Krahnstoever, Weina Ge
DAC
1997
ACM
15 years 11 months ago
Equivalence Checking Using Cuts and Heaps
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
Andreas Kuehlmann, Florian Krohm
CORR
2006
Springer
104views Education» more  CORR 2006»
15 years 6 months ago
From Proof Nets to the Free *-Autonomous Category
Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
François Lamarche, Lutz Straßburger
AML
2005
84views more  AML 2005»
15 years 6 months ago
Modularity of proof-nets
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border indu...
Roberto Maieli, Quintijn Puite
CVPR
2006
IEEE
16 years 8 months ago
Model Order Selection and Cue Combination for Image Segmentation
Model order selection and cue combination are both difficult open problems in the area of clustering. In this work we build upon stability-based approaches to develop a new method...
Andrew Rabinovich, Serge Belongie, Tilman Lange, J...