1806 search results - page 111 / 362 » Some Functions Computable with a Fused-Mac |
164
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
173
click to vote
JMIV
2010
15 years 26 days ago
2010
This paper proposes robust algorithms to deconvolve discrete noised signals and images. The solutions are derived as linear combinations of spline wavelet packets that minimize so...
159
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The Macaulay2 package PHCpack.m2 provides an interface to some of the functionality of PHCpack, a general-purpose solver for polynomial systems by homotopy continuation. The main f...
161
click to vote
SSD
1999
Springer
15 years 10 months ago
1999
Springer
Traffic telematics comprises services like traffic information, navigation, and emergency call services. Providers of such services need large spatial databases especially for the ...
157
Voted
CPAIOR
2006
Springer
15 years 9 months ago
2006
Springer
Tail Assignment is the problem of assigning flight legs to aircraft while satisfying all operational constraints, and optimizing some objective function. In this article, we presen...