Sciweavers

4609 search results - page 508 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
161
Voted
ICPR
2006
IEEE
16 years 8 months ago
A Model-based Approach for Rigid Object Recognition
Most object recognition systems require large databases of real images for classifier training. To collect real images for this purpose is a difficult and expensive process. This ...
Chee Boon Chong, Fee-Lee Lim, Tele Tan
MICCAI
2007
Springer
16 years 7 months ago
Shape Analysis Using a Point-Based Statistical Shape Model Built on Correspondence Probabilities
A fundamental problem when computing statistical shape models is the determination of correspondences between the instances of the associated data set. Often, homologies between po...
Heike Hufnagel, Xavier Pennec, Jan Ehrhardt, Heinz...
VLSID
2004
IEEE
135views VLSI» more  VLSID 2004»
16 years 7 months ago
Integrating Self Testability with Design Space Exploration by a Controller based Estimation Technique
Recent research for testable designs has focussed on inserting test structures by re-arranging an Register-TransferLevel (RTL) data path generated from a behavioural description t...
M. S. Gaur, Mark Zwolinski
VLDB
2008
ACM
99views Database» more  VLDB 2008»
16 years 7 months ago
Model-independent schema translation
We discuss a proposal for the implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from object-oriented to SQL ...
Paolo Atzeni, Paolo Cappellari, Riccardo Torlone, ...
WWW
2010
ACM
16 years 1 months ago
Automated performance assessment for service-oriented middleware: a case study on BPEL engines
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
Domenico Bianculli, Walter Binder, Mauro Luigi Dra...