Sciweavers

4042 search results - page 123 / 809
» The EXODUS Optimizer Generator
Sort
View
DAC
1995
ACM
15 years 9 months ago
A Transformation-Based Approach for Storage Optimization
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
Wei-Kai Cheng, Youn-Long Lin
186
Voted
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
15 years 10 months ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
187
Voted
SIAMJO
2010
130views more  SIAMJO 2010»
15 years 8 days ago
A Randomized Cutting Plane Method with Probabilistic Geometric Convergence
Abstract. We propose a randomized method for general convex optimization problems; namely, the minimization of a linear function over a convex body. The idea is to generate N rando...
Fabrizio Dabbene, P. S. Shcherbakov, Boris T. Poly...
AAAI
2011
14 years 5 months ago
Recommendation Sets and Choice Queries: There Is No Exploration/Exploitation Tradeoff!
Utility elicitation is an important component of many applications, such as decision support systems and recommender systems. Such systems query users about their preferences and ...
Paolo Viappiani, Craig Boutilier
ICPR
2006
IEEE
16 years 6 months ago
Combining Generative and Discriminative Methods for Pixel Classification with Multi-Conditional Learning
It is possible to broadly characterize two approaches to probabilistic modeling in terms of generative and discriminative methods. Provided with sufficient training data the discr...
B. Michael Kelm, Chris Pal, Andrew McCallum