Sciweavers

2185 search results - page 241 / 437
» Context for semantic metadata
Sort
View
WWW
2004
ACM
16 years 7 months ago
Semi-automatic annotation of contested knowledge on the world wide web
We describe a strategy to support the semantic annotation of contested knowledge, in the context of the Scholarly Ontologies project, which aims at building a network of interpret...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
TYPES
2007
Springer
16 years 18 days ago
Dependently Sorted Logic
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
João Filipe Belo
CSMR
2006
IEEE
16 years 17 days ago
Can LSI help Reconstructing Requirements Traceability in Design and Test?
Managing traceability data is an important aspect of the software development process. In this paper we investigate to what extent latent semantic indexing (LSI), an information r...
Marco Lormans, Arie van Deursen
ARGMAS
2004
Springer
15 years 12 months ago
A Dialogue Game Protocol for Multi-agent Argument over Proposals for Action
We present the syntax and semantics for a multi-agent dialogue game protocol which permits argument over proposals for action. The protocol, called the Persuasive Argument for Mult...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
IBPRIA
2007
Springer
15 years 10 months ago
Efficiently Downdating, Composing and Splitting Singular Value Decompositions Preserving the Mean Information
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
Javier Melenchón, Elisa Martínez