677 search results - page 98 / 136 » Dependent Types from Counterexamples |
ISN
1995
Springer
15 years 1 months ago
1995
Springer
It has been demonstrated that the use of suitable metaphors in the user service interface can have a dramatic effect on the way in which the user perceives the services, depending ...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
The aim of transfer learning is to accelerate learning in related domains. In reinforcement learning, many different features such as a value function and a policy can be transfer...
C3S2E
2008
ACM
14 years 12 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
100
click to vote
CC
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
EKAW
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we investigate unsupervised population of a biomedical ontology via information extraction from biomedical literature. Relationships in text seldom connect simple ent...