Sciweavers

1887 search results - page 13 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
FM
2008
Springer
137views Formal Methods» more  FM 2008»
14 years 11 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
RE
2005
Springer
15 years 2 months ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook
ECIR
2010
Springer
14 years 11 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, ...
WWW
2004
ACM
15 years 10 months ago
Meteor-s web service annotation framework
The World Wide Web is emerging not only as an infrastructure for data, but also for a broader variety of resources that are increasingly being made available as Web services. Rele...
Abhijit A. Patil, Swapna A. Oundhakar, Amit P. She...
CIVR
2005
Springer
183views Image Analysis» more  CIVR 2005»
15 years 3 months ago
Automated Image Annotation Using Global Features and Robust Nonparametric Density Estimation
This paper describes a simple framework for automatically annotating images using non-parametric models of distributions of image features. We show that under this framework quite ...
Alexei Yavlinsky, Edward Schofield, Stefan M. R&uu...