Sciweavers

2041 search results - page 180 / 409
» Modelling Generic Judgements
Sort
View
SCN
2011
Springer
292views Communications» more  SCN 2011»
14 years 11 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
CVPR
2005
IEEE
16 years 6 months ago
Spatial Priors for Part-Based Recognition Using Statistical Models
We present a class of statistical models for part-based object recognition that are explicitly parameterized according to the degree of spatial structure they can represent. These...
David J. Crandall, Pedro F. Felzenszwalb, Daniel P...
SMI
2008
IEEE
146views Image Analysis» more  SMI 2008»
15 years 10 months ago
SHREC'08 entry: Local volumetric features for 3D model retrieval
In this paper, we describe a method of shape-based 3D model retrieval that employs a set of 3D, local, multi-scale features extracted from a voxel representation of a 3D model to ...
Kunio Osada, Takahiko Furuya, Ryutarou Ohbuchi
EDBT
2006
ACM
117views Database» more  EDBT 2006»
15 years 8 months ago
Model-Independent Schema and Data Translation
Abstract. We describe MIDST, an implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from OO to SQL or from SQL...
Paolo Atzeni, Paolo Cappellari, Philip A. Bernstei...
CVPR
2010
IEEE
15 years 2 months ago
Multi-structure model selection via kernel optimisation
Our goal is to fit the multiple instances (or structures) of a generic model existing in data. Here we propose a novel model selection scheme to estimate the number of genuine str...
Tat-Jun Chin, David Suter, Hanzi Wang