Sciweavers

840 search results - page 34 / 168
» Universal Metadata Standard
Sort
View
CLEF
2005
Springer
14 years 2 months ago
Dublin City University at CLEF 2005: Experiments with the ImageCLEF St Andrew's Collection
The aim of the Dublin City University’s participation in the CLEF 2005 ImageCLEF St Andrew’s Collection task was to explore an alternative approach to exploiting text annotatio...
Gareth J. F. Jones, Kieran McDonald
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
14 years 2 months ago
High-Level Executable Specification of the Universal Plug and Play Architecture
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
Uwe Glässer, Yuri Gurevich, Margus Veanes
APN
2000
Springer
14 years 1 months ago
UML - A Universal Modeling Language?
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
Gregor Engels, Reiko Heckel, Stefan Sauer
TPHOL
1999
IEEE
14 years 1 months ago
Universal Algebra in Type Theory
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
Venanzio Capretta
CORR
2006
Springer
91views Education» more  CORR 2006»
13 years 9 months ago
Universal Codes as a Basis for Time Series Testing
We suggest a new approach to hypothesis testing for ergodic and stationary processes. In contrast to standard methods, the suggested approach gives a possibility to make tests, ba...
Boris Ryabko, Jaakko Astola