28 search results - page 6 / 6 » Typed Higher-Order Narrowing without Higher-Order Strategies |
VTC
2006
IEEE
13 years 11 months ago
2006
IEEE
— Iterative equalization has emerged as an efficient means of achieving near-capacity detection performance in multiple-antenna (MIMO) systems. However, many proposed detection ...
CP
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
ICFP
2007
ACM
14 years 5 months ago
2007
ACM
MashMaker is a web-based tool that makes it easy for a normal user to create web mashups by browsing around, without needing to type, or plan in advance what they want to do. Like...