9110 search results - page 228 / 1822 » Formally-Based Design Evaluation |
178
click to vote
PR
2010
15 years 4 months ago
2010
In this paper we present a comparative evaluation of four popular interactive segmentation algorithms. The evaluation was carried out as a series of user-experiments, in which par...
205
click to vote
TC
2010
15 years 1 months ago
2010
Multithreaded architectures are becoming more and more popular. In order to evaluate their behavior, several methodologies and metrics have been proposed. A methodology defines whe...
182
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a driver risk evaluation method based on the analysis of driving data captured with drive recorders. To evaluate the acceleration behavior of each driver we plot the ma...
145
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
When working in image and video segmentation, the major objective is to design an algorithm producing the appropriate segmentation results for the particular goals of the applicat...
158
click to vote
PEPM
2007
ACM
16 years 17 days ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...