Sciweavers

741 search results - page 135 / 149
» SMILE - A Framework for Semantic Applications
Sort
View
KI
2006
Springer
15 years 1 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach
118
Voted
LRE
2006
173views more  LRE 2006»
15 years 1 months ago
Automatic induction of language model data for a spoken dialogue system
When building a new spoken dialogue application, large amounts of domain specific data are required. This paper addresses the issue of generating in-domain training data when litt...
Chao Wang, Grace Chung, Stephanie Seneff
PVLDB
2008
108views more  PVLDB 2008»
15 years 1 months ago
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
Haichuan Shang, Ying Zhang, Xuemin Lin, Jeffrey Xu...
EKAW
2010
Springer
15 years 12 days ago
Ontology Engineering with Rough Concepts and Instances
A scenario in ontology development and its use is hypothesis testing, such as finding new subconcepts based on the data linked to the ontology. During such experimentation, knowle...
C. Maria Keet
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
15 years 10 days ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim