Sciweavers

2829 search results - page 137 / 566
» Regularization Methods for Additive Models
Sort
View
128
Voted
VLSID
2001
IEEE
129views VLSI» more  VLSID 2001»
16 years 2 months ago
Design Of Provably Correct Storage Arrays
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann
SBACPAD
2004
IEEE
83views Hardware» more  SBACPAD 2004»
15 years 3 months ago
Parallel Adaptive Mesh Coarsening for Seismic Tomography
Seismic tomography enables to model the internal structure of the Earth. In order to improve the precision of existing models, a huge amount of acquired seismic data must be analy...
Marc Grunberg, Stéphane Genaud, Catherine M...
TSMC
2010
14 years 9 months ago
Active Learning of Plans for Safety and Reachability Goals With Partial Observability
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
Wonhong Nam, Rajeev Alur
IALP
2010
14 years 9 months ago
Hierarchical Pitman-Yor Language Model for Machine Translation
The hierarchical Pitman-Yor process-based smoothing method applied to language model was proposed by Goldwater and by Teh; the performance of this smoothing method is shown compara...
Tsuyoshi Okita, Andy Way
107
Voted
FC
2005
Springer
110views Cryptology» more  FC 2005»
15 years 8 months ago
A Privacy-Protecting Coupon System
A coupon represents the right to claim some service which is typically offered by vendors. In practice, issuing bundled multi-coupons is more efficient than issuing single coupons...
Liqun Chen, Matthias Enzmann, Ahmad-Reza Sadeghi, ...