Sciweavers

576 search results - page 3 / 116
» A framework for modeling and evaluating automatic semantic r...
Sort
View
FUIN
2008
103views more  FUIN 2008»
13 years 5 months ago
LDYIS: a Framework for Model Checking Security Protocols
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
Alessio Lomuscio, Wojciech Penczek
ECIR
2010
Springer
13 years 7 months ago
A Framework for Evaluating Automatic Image Annotation Algorithms
Several Automatic Image Annotation (AIA) algorithms have been introduced recently, which have been found to outperform previous models. However, each one of them has been evaluated...
Konstantinos Athanasakos, Vassilios Stathopoulos, ...
LREC
2008
134views Education» more  LREC 2008»
13 years 7 months ago
Evaluating the Ontology underlying sMail - the Conceptual Framework for Semantic Email Communication
The lack of structure in the content of email messages makes it very hard for data channelled between the sender and the recipient to be correctly interpreted and acted upon. As a...
Simon Scerri, Myriam Mencke, Brian Davis, Siegfrie...
MM
2005
ACM
164views Multimedia» more  MM 2005»
13 years 11 months ago
Automatic discovery of query-class-dependent models for multimodal search
We develop a framework for the automatic discovery of query classes for query-class-dependent search models in multimodal retrieval. The framework automatically discovers useful q...
Lyndon S. Kennedy, Apostol Natsev, Shih-Fu Chang