Sciweavers

1195 search results - page 197 / 239
» Modeling an Algebraic Stepper
Sort
View
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 9 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
GECCO
2006
Springer
150views Optimization» more  GECCO 2006»
15 years 9 months ago
Nonlinear parametric regression in genetic programming
Genetic programming has been considered a promising approach for function approximation since it is possible to optimize both the functional form and the coefficients. However, it...
Yung-Keun Kwon, Sung-Soon Choi, Byung Ro Moon
SODA
2004
ACM
104views Algorithms» more  SODA 2004»
15 years 7 months ago
Tight bounds for the partial-sums problem
We close the gaps between known lower and upper bounds for the online partial-sums problem in the RAM and group models of computation. If elements are chosen from an abstract grou...
Mihai Patrascu, Erik D. Demaine
135
Voted
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 6 months ago
Measure and integral with purely ordinal scales
We develop a purely ordinal model for aggregation functionals for lattice valued functions, comprising as special cases quantiles, the Ky Fan metric and the Sugeno integral. For m...
Dieter Denneberg, Michel Grabisch
ENTCS
2008
91views more  ENTCS 2008»
15 years 6 months ago
A Name Abstraction Functor for Named Sets
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
Vincenzo Ciancia, Ugo Montanari