Sciweavers

6762 search results - page 520 / 1353
» Multiple drafts model
Sort
View
AIEDAM
2008
106views more  AIEDAM 2008»
15 years 7 months ago
Analogical recognition of shape and structure in design drawings
We describe a method for constructing a structural model of an unlabeled target two-dimensional line drawing by analogy to a known source model of a drawing with similar structure...
Patrick W. Yaner, Ashok K. Goel
BSL
1999
103views more  BSL 1999»
15 years 6 months ago
The logic of bunched implications
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
Peter W. O'Hearn, David J. Pym
JCS
2010
124views more  JCS 2010»
15 years 5 months ago
Verifying resource access control on mobile interactive devices
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
Frédéric Besson, Guillaume Dufay, Th...
TSMC
2010
15 years 1 months ago
Incomplete Multigranulation Rough Set
The original rough-set model is primarily concerned with the approximations of sets described by a single equivalence relation on a given universe. With granular computing point of...
Yuhua Qian, Jiye Liang, Chuangyin Dang
CVPR
2010
IEEE
1208views Computer Vision» more  CVPR 2010»
16 years 3 months ago
Visual Tracking Decomposition
We propose a novel tracking algorithm that can work robustly in a challenging scenario such that several kinds of appearance and motion changes of an object occur at the same time....
Junseok Kwon (Seoul National University), Kyoung M...