32 search results - page 4 / 7 » Why dependent types matter |
ICCV
1998
IEEE
14 years 10 months ago
1998
IEEE
`Invariant regions' are image patches that automatically deform with changing viewpoint as to keep on covering identical physical parts of a scene. Such regions are then desc...
SIGMETRICS
2005
ACM
14 years 2 months ago
2005
ACM
This paper considers the basic problem of “how accurate can we make Internet performance measurements”. The answer is somewhat counter-intuitive in that there are bounds on th...
ECIS
2004
13 years 10 months ago
2004
Despite the considerable growth of Information Systems (IS) outsourcing in recent years, this trend is still the object of strong criticism. This study has as its aim to show the ...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper proposes a novel method of fusing models for classification of unbalanced data. The unbalanced data contains a majority of healthy (negative) instances, and a minor...