7519 search results - page 193 / 1504 » Optimizing Generic Functions |
141
click to vote
MMS
2002
15 years 6 months ago
2002
This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
174
click to vote
TPHOL
2007
IEEE
16 years 19 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
177
click to vote
ICIC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We study the approximation of the integration of multivariate functions classes in the quantum model of computation. We first obtain a lower bound of the n-th minimal qu...
181
click to vote
KES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a mathematical model for dynamic decision making with an objective function induced from fuzzy preferences. The fuzzy preference is related to decisio...
117
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implemen...