Sciweavers

410 search results - page 8 / 82
» Symbolic Representations and Analysis of Large Probabilistic...
Sort
View
ISSAC
2007
Springer
130views Mathematics» more  ISSAC 2007»
14 years 1 months ago
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
HAPTICS
2005
IEEE
14 years 1 months ago
The Maxima Haptics Package -- A Tool for Symbolic Analysis of Haptics and Teleoperation
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
Göran A. V. Christiansson
LCPC
2005
Springer
14 years 1 months ago
Scalable Array SSA and Array Data Flow Analysis
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
Silvius Rus, Guobin He, Lawrence Rauchwerger
JOCN
2010
74views more  JOCN 2010»
13 years 6 months ago
Developmental Specialization in the Right Intraparietal Sulcus for the Abstract Representation of Numerical Magnitude
or the Abstract Representation of Numerical Magnitude Ian D. Holloway1,2 and Daniel Ansari1,2 use number is an abstract quality of a set, the way in which a number is externally r...
Ian D. Holloway, Daniel Ansari
IPPS
2008
IEEE
14 years 2 months ago
Symbolic expression analysis for compiled communication
Enabling circuit switching in multiprocessor systems has the potential to achieve more efficient communication with lower cost compared to packet/wormhole switching. However, in ...
Shuyi Shao, Yu Zhang, Alex K. Jones, Rami G. Melhe...