5525 search results - page 338 / 1105 » Verification of Model Transformations |
166
click to vote
ICDT
2007
ACM
16 years 29 days ago
2007
ACM
Moving objects produce trajectories. We describe a data model for trajectories and trajectory samples and an efficient way of modeling uncertainty via beads for trajectory samples....
181
click to vote
IJIT
2004
15 years 8 months ago
2004
In the paper a method of modeling text for Polish is discussed. The method is aimed at transforming continuous input text into a text consisting of sentences in so called canonical...
171
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We propose a new approach for the restoration of polarimetric Stokes images, capable of simultaneously segmenting and restoring the images. In order to easily handle the admissibi...
177
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, a video stabilization technique is presented. There are four steps in the proposed approach. We begin with extracting feature points from the input image using the ...
198
click to vote
WETICE
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...