Sciweavers

289 search results - page 7 / 58
» Detecting Errors in Semantic Annotation
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
SIGDIAL
2010
14 years 7 months ago
Online Error Detection of Barge-In Utterances by Using Individual Users' Utterance Histories in Spoken Dialogue System
We develop a method to detect erroneous interpretation results of user utterances by exploiting utterance histories of individual users in spoken dialogue systems that were deploy...
Kazunori Komatani, Hiroshi G. Okuno
70
Voted
ICASSP
2010
IEEE
14 years 8 months ago
Exploring statistical properties for semantic annotation: sparse distributed and convergent assumptions for keywords
Does there exist a compact set of visual topics in form of keyword clusters capable to represent all images visual content within an acceptable error? In this paper, we answer thi...
Xianming Liu, Hongxun Yao, Rongrong Ji
SAMT
2007
Springer
98views Multimedia» more  SAMT 2007»
15 years 3 months ago
Semantic Annotation of 3D Surface Meshes Based on Feature Characterization
In this paper we describe the main aspects of a system to perform non-trivial segmentations of 3D surface meshes and to annotate the detected parts through concepts expressed by an...
Marco Attene, Francesco Robbiano, Michela Spagnuol...
IEEEARES
2008
IEEE
15 years 4 months ago
Type and Effect Annotations for Safe Memory Access in C
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
Syrine Tlili, Mourad Debbabi