2335 search results - page 227 / 467 » Type Checking Type Classes |
JSAC
2008
13 years 10 months ago
2008
We study revenue-maximizing pricing by a service provider in a communication network and compare revenues from simple pricing rules to the maximum revenues that are feasible. In pa...
SIGIR
2008
ACM
13 years 10 months ago
2008
ACM
Although there are many papers examining ambiguity in Information Retrieval, this paper shows that there is a whole class of ambiguous word that past research has barely explored....
MICS
2008
13 years 10 months ago
2008
The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical n...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
Due to the difference between rural and urban and regional disparity of computer basic education produced at their middle school period, computer application level of the freshmen ...
TIT
2010
13 years 5 months ago
2010
The class of low-density parity-check (LDPC) codes is attractive, since such codes can be decoded using practical message-passing algorithms, and their performance is known to app...