1817 search results - page 3 / 364 » Forcing and Type Theory |
110
click to vote
LTCONF
2007
Springer
15 years 9 months ago
2007
Springer
Recent work in sentiment analysis has begun to apply fine-grained semantic distinctions between expressions of attitude as features for textual analysis. Such methods, however, r...
116
click to vote
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
113
click to vote
TROB
2002
15 years 2 months ago
2002
This paper addresses the problem of achieving exact dynamic force control with manipulators possessing the low-level position and/or velocity controllers typically employed in indu...
124
click to vote
ISCC
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose efficient scheduling algorithms for downlink MIMO-CDMA systems using zero forcing beamforming to achieve high system throughput with low computational complexity. Base...
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...