1266 search results - page 17 / 254 » An Overview of Repository Technology |
MKM
2004
Springer
14 years 1 months ago
2004
Springer
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...
ELPUB
2007
ACM
13 years 11 months ago
2007
ACM
Jointly developed over 5 years by Atira A/S and a number of university libraries, the commercial repository system PURE is a tool in the research administration and dissemination ...
WWIC
2010
Springer
14 years 21 days ago
2010
Springer
This paper addresses the topic of Fair QoE measurements in networking. The research of new solutions in networking is oriented to improve the user experience. Any application or se...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
This paper gives an overview of facial animation techniques. While facial animation is currently used in the entertainment and advertisement industry, it will become part of dialog...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Images play a vital role in scientific studies. An image repository would become a costly and meaningless data graveyard without descriptive metadata. We adapted EPrints,...