Sciweavers

3619 search results - page 544 / 724
» Developing Knowledge-Based Systems using the Semantic Web
Sort
View
POPL
2004
ACM
16 years 4 months ago
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
117
Voted
MIR
2005
ACM
138views Multimedia» more  MIR 2005»
15 years 9 months ago
Evaluation strategies for image understanding and retrieval
We address evaluation of image understanding and retrieval large scale image data in the context of three evaluation projects. The first project is a comprehensive strategy for e...
Keiji Yanai, Nikhil V. Shirahatti, Prasad Gabbur, ...
143
Voted
EDBT
2008
ACM
202views Database» more  EDBT 2008»
16 years 3 months ago
BeMatch: a platform for matchmaking service behavior models
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
Juan Carlos Corrales, Daniela Grigori, Mokrane Bou...
LREC
2008
93views Education» more  LREC 2008»
15 years 5 months ago
Towards a Glossary of Activities in the Ontology Engineering Field
The Semantic Web of the future will be characterized by using a very large number of ontologies embedded in ontology networks. It is important to provide strong methodological sup...
María del Carmen Suárez-Figueroa, As...
101
Voted
CSIE
2009
IEEE
15 years 10 months ago
On the Effectiveness of Collaborative Tagging Systems for Describing Resources
This article investigates the effectiveness of community generated tags as social descriptors of resources uncoordinatedly annotated by community members. Our goal is to demonstra...
Jinsheng Xu, Christo Dichev, Albert C. Esterline, ...