305 search results - page 37 / 61 » An Extension of System F with Subtyping |
ICRA
1994
IEEE
13 years 11 months ago
1994
IEEE
At the intersection of robotics, computational geometry, and manufacturingengineering, we have identifieda collection of research problems with near-term industrial applications. ...
ECRTS
2004
IEEE
13 years 11 months ago
2004
IEEE
Control methods are being used increasingly for uncertainty management and QoS in modern web server systems. Previous approaches have suggested combined feedforward and feedback c...
SCL
2008
13 years 7 months ago
2008
This paper1 addresses a family of robustness problems in which the system under consideration is affected by interval matrix uncertainty. The main contribution of the paper is a n...
NAR
2011
12 years 10 months ago
2011
The allele frequency net database (http://www .allelefrequencies.net) is an online repository that contains information on the frequencies of immune genes and their corresponding ...
TLDI
2005
ACM
14 years 1 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...