Sciweavers

1638 search results - page 127 / 328
» A General Semantics for Evaluation Logic
Sort
View
SAC
2010
ACM
15 years 5 months ago
The semantics of personalised web accessibility assessment
This paper presents SAAF, a Semantic Accessibility Assessment Framework for personalised Web accessibility assessment procedures. We define four domains as a way to decouple gene...
Rui Lopes, Konstantinos Votis, Luís Carri&c...
84
Voted
ECAI
2006
Springer
15 years 1 months ago
A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
Benoit Gaudou, Andreas Herzig, Dominique Longin, M...
ATAL
2007
Springer
15 years 4 months ago
A formal model for situated semantic alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer
PLDI
2009
ACM
15 years 2 months ago
Flow-sensitive semantics for dynamic information flow policies
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
Niklas Broberg, David Sands
WWW
2003
ACM
15 years 10 months ago
A software framework for matchmaking based on semantic web technology
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
Lei Li, Ian Horrocks