Sciweavers

370 search results - page 56 / 74
» Mathematical Symbol Indexing
Sort
View
90
Voted
ICCAD
2007
IEEE
234views Hardware» more  ICCAD 2007»
15 years 1 months ago
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors
Abstract: Polynomial computations over fixed-size bitvectors are found in many practical datapath designs. For efficient RTL synthesis, it is important to identify good decompositi...
Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon ...
GECCO
2006
Springer
150views Optimization» more  GECCO 2006»
15 years 1 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
VRML
1995
ACM
15 years 1 months ago
Visualizing the Structure of the World Wide Web in 3D Hyperbolic Space
We visualize the structure of sections of the World Wide Web by constructing graphical representations in 3D hyperbolic space. The felicitous property that hyperbolic space has â€...
Tamara Munzner, Paul Burchard
GAMEON
2003
14 years 11 months ago
Multi-Agent Based Modelling: from Social Simulation to Real Time Strategy Games
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
Marco Remondino
AIEDU
2005
89views more  AIEDU 2005»
14 years 9 months ago
An Evaluation of a Hybrid Language Understanding Approach for Robust Selection of Tutoring Goals
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
Carolyn Penstein Rosé, Kurt VanLehn