2596 search results - page 440 / 520 » Gradual Typing for Objects |
189
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
148
Voted
IJCV
2010
15 years 1 months ago
2010
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...
117
Voted
IJRR
2010
15 years 1 months ago
2010
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
122
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
121
click to vote
RECSYS
2010
ACM
15 years 1 months ago
2010
ACM
The reciprocal recommender is a class of recommender system that is important for several tasks where people are both the subjects and objects of the recommendation. Some examples...