Sciweavers

2829 search results - page 137 / 566
» Regularization Methods for Additive Models
Sort
View
VLSID
2001
IEEE
129views VLSI» more  VLSID 2001»
16 years 6 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 7 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
15 years 26 days 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
15 years 1 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
FC
2005
Springer
110views Cryptology» more  FC 2005»
15 years 11 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, ...