Sciweavers

2226 search results - page 123 / 446
» Computable Analysis via Representations
Sort
View
ICPR
2010
IEEE
15 years 8 months ago
Multiple-Shot Person Re-Identification by HPE Signature
Abstract--In this paper, we propose a novel appearancebased method for person re-identification, that condenses a set of frames of the same individual into a highly informative sig...
Loris Bazzani, Marco Cristani, Alessandro Perina, ...
142
Voted
ACL
2012
13 years 7 months ago
Estimating Compact Yet Rich Tree Insertion Grammars
We present a Bayesian nonparametric model for estimating tree insertion grammars (TIG), building upon recent work in Bayesian inference of tree substitution grammars (TSG) via Dir...
Elif Yamangil, Stuart M. Shieber
169
Voted
CONCUR
1997
Springer
15 years 8 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
MICCAI
2007
Springer
16 years 5 months ago
Deformable Density Matching for 3D Non-rigid Registration of Shapes
There exists a large body of literature on shape matching and registration in medical image analysis. However, most of the previous work is focused on matching particular sets of f...
Arunabha S. Roy, Ajay Gopinath, Anand Rangarajan
133
Voted
HPDC
1999
IEEE
15 years 9 months ago
Overview of a Performance Evaluation System for Global Computing Scheduling Algorithms
While there have been several proposals of high performance global computing systems, scheduling schemes for the systems have not been well investigated. The reason is difficultie...
Atsuko Takefusa, Satoshi Matsuoka, Hidemoto Nakada...