Sciweavers

2829 search results - page 22 / 566
» Regularization Methods for Additive Models
Sort
View
CAPTECH
1998
Springer
15 years 4 months ago
3D Part Recognition Method for Human Motion Analysis
A method for matching sequences from two perspective views of a moving person silhouette is presented. Regular (approximate uniform thickness) parts are detected on an image and a ...
Carlos Yániz, Jairo Rocha, Francisco J. Per...
ACCV
2010
Springer
14 years 6 months ago
A Weak Structure Model for Regular Pattern Recognition Applied to Facade Images
Abstract. We propose a novel method for recognition of structured images and demonstrate it on detection of windows in facade images. Given an ability to obtain local low-level dat...
Radim Tylecek, Radim Sára
CAD
2004
Springer
14 years 11 months ago
Choosing consistent constraints for beautification of reverse engineered geometric models
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and the model building software. Such models can be im...
Frank C. Langbein, A. David Marshall, Ralph R. Mar...
101
Voted
CAV
2007
Springer
108views Hardware» more  CAV 2007»
15 years 5 months ago
Systematic Acceleration in Regular Model Checking
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
Bengt Jonsson, Mayank Saksena
98
Voted
CAV
2004
Springer
152views Hardware» more  CAV 2004»
15 years 5 months ago
Abstract Regular Model Checking
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
Ahmed Bouajjani, Peter Habermehl, Tomás Voj...