2335 search results - page 255 / 467 » Type Checking Type Classes |
109
Voted
IEEEPACT
2005
IEEE
15 years 6 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
92
Voted
COLT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Annotation with security-related metadata enables discovery of resources that meet security requirements. This paper presents the NRL Security Ontology, which complements existing ...
136
click to vote
SELMAS
2005
Springer
15 years 6 months ago
2005
Springer
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
125
Voted
RTA
2004
Springer
15 years 6 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...