5818 search results - page 247 / 1164 » A reasonable Semantic Web |
204
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
186
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
Abstract. Traditionally, distinguishing between high quality professional photos and low quality amateurish photos is a human task. To automatically assess the quality of a photo t...
195
click to vote
POLICY
2007
Springer
16 years 1 months ago
2007
Springer
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
190
click to vote
AAAI
2007
15 years 9 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
215
click to vote
SEBD
2007
15 years 8 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...