Sciweavers

4498 search results - page 151 / 900
» How to Invent Functions
Sort
View
98
Voted
CIE
2005
Springer
15 years 8 months ago
Towards Computability of Higher Type Continuous Data
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
Margarita V. Korovina, Oleg V. Kudinov
ICANN
2005
Springer
15 years 8 months ago
The Topographic Product of Experts
- In this paper, we show how a topographic mapping can be created from a product of experts. We learn the parameters of the mapping using gradient descent on the negative logarithm...
Colin Fyfe
108
Voted
ARITH
2003
IEEE
15 years 8 months ago
"Partially Rounded" Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods
We aim at evaluating elementary and special functions using small tables and small, rectangular, multipliers. To do that, we show how accurate polynomial approximations whose orde...
Jean-Michel Muller
115
Voted
DATE
2010
IEEE
190views Hardware» more  DATE 2010»
15 years 7 months ago
AUTOSAR basic software for complex control units
— Dirk Diekhoff, Elektrobit Automotive "The development of complex control units requires mature and reliable basic software as well as integration support particularly in e...
Dirk Diekhoff
123
Voted
CAAP
1990
15 years 6 months ago
Coherence of Subsumption
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
Pierre-Louis Curien, Giorgio Ghelli