1626 search results - page 143 / 326 » Subtyping with Power Types |
151
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
— Retransmissions serve as the basic building block that communication protocols use to achieve reliable data transfer. Until recently, the number of retransmissions were thought...
131
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
We propose the study of visibly pushdown automata (Vpa) for processing XML documents. Vpas are pushdown automata where the input determines the stack operation, and XML documents ...
119
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
133
click to vote
ALT
2004
Springer
16 years 1 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
121
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: There is a vast need to find clinically applicable protein biomarkers as support in cancer diagnosis and tumour classification. In proteomics research, a number of met...