5671 search results - page 910 / 1135 » A Semantic Approach to Interpolation |
179
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
176
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
182
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
With the rapid progress of mobile devices and positioning technologies, Trajectory Databases (TD) have been in the core of database research during the last decade. Analysis and k...
231
click to vote
ICMCS
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we present a knowledge-assisted approach to index and retrieve large volume of medical images. Both images and associated texts are indexed using medical concepts f...
169
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...