1626 search results - page 118 / 326 » Subtyping with Power Types |
222
click to vote
MACOM
2010
15 years 2 months ago
2010
Abstract. In wireless ad hoc networks, cross-layer design aims at reducing multiple access interference and thus obtaining a higher spatial reuse. In order to identify the most sui...
146
Voted
SAICSIT
2010
ACM
15 years 2 months ago
2010
ACM
The rapid growth and development of wireless communication services and applications corresponds to an increase in associated energy consumption. For broadband wireless network de...
122
click to vote
ALT
2001
Springer
16 years 1 months ago
2001
Springer
Abstract. Learning of recursive functions refutably means that for every recursive function, the learning machine has either to learn this function or to refute it, i.e., to signal...
120
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
134
click to vote
COLT
2003
Springer
15 years 9 months ago
2003
Springer
Sublearning, a model for learning of subconcepts of a concept, is presented. Sublearning a class of total recursive functions informally means to learn all functions from that cla...