Sciweavers

313 search results - page 24 / 63
» Building Credible Input Models
Sort
View
GECCO
2010
Springer
180views Optimization» more  GECCO 2010»
14 years 5 days ago
Comparison of NEWUOA with different numbers of interpolation points on the BBOB noisy testbed
In this paper, we study the performances of the NEW Unconstrained Optimization Algorithm (NEWUOA) with different numbers of interpolation points. NEWUOA is a trust region method, ...
Raymond Ros
ICIP
2009
IEEE
14 years 9 months ago
Fuzzy Perceptual Watermarking For Ownership Verification
- An adaptive watermarking method based on the human visual system model and the fuzzy inference system in wavelet domain is proposed. Fuzzy logic is used for data fusion and build...
Frederick C. Harris Jr., Mukesh Motwani
FMCAD
2004
Springer
14 years 15 days ago
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
Thao Dang, Alexandre Donzé, Oded Maler
MT
2006
106views more  MT 2006»
13 years 8 months ago
Example-based machine translation based on tree-string correspondence and statistical generation
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...
Zhan-yi Liu, Haifeng Wang, Hua Wu
ICANN
2009
Springer
14 years 1 months ago
Switching Hidden Markov Models for Learning of Motion Patterns in Videos
Abstract. Building on the current understanding of neural architecture of the visual cortex, we present a graphical model for learning and classification of motion patterns in vid...
Matthias Höffken, Daniel Oberhoff, Marina Kol...