Sciweavers

1887 search results - page 30 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
ICIP
2005
IEEE
15 years 11 months ago
Explicit contour model for vehicle tracking with automatic hypothesis validation
This paper addresses the problem of vehicle tracking under a single static, uncalibrated camera without any constraints on the scene or on the motion direction of vehicles. We int...
Boris Wai-Sing Yiu, Kwan-Yee Kenneth Wong, Francis...
76
Voted
CII
2006
67views more  CII 2006»
14 years 9 months ago
A formal verification framework and associated tools for Enterprise Modeling: Application to UEML
The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the sui...
Vincent Chapurlat, Bernard Kamsu Foguem, Fran&cced...
LREC
2010
169views Education» more  LREC 2010»
14 years 11 months ago
Using Comparable Corpora to Adapt a Translation Model to Domains
Statistical machine translation (SMT) requires a large parallel corpus, which is available only for restricted language pairs and domains. To expand the language pairs and domains...
Hiroyuki Kaji, Takashi Tsunakawa, Daisuke Okada
ECAI
2004
Springer
15 years 2 months ago
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...
Ullrich Hustadt, Boris Motik, Ulrike Sattler
EMSOFT
2005
Springer
15 years 3 months ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed