1887 search results - page 316 / 378 » Annotation Framework Validation Using Domain Models |
110
click to vote
STACS
2009
Springer
15 years 9 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
127
click to vote
SOSP
2005
ACM
15 years 11 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
172
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
The automatic extraction and labeling of the rib centerlines is a useful yet challenging task in many clinical applications. In this paper, we propose a new approach integrating r...
117
Voted
IUI
2010
ACM
15 years 11 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
136
click to vote
RULEML
2005
Springer
15 years 8 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...