4018 search results - page 277 / 804 » Process algebra for performance evaluation |
148
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, we aim to provide the further evaluation on the recently proposed visualization technique known as Virtual Fly-Over for virtual colonoscopy by using clinical CT col...
154
click to vote
APGV
2009
ACM
16 years 1 months ago
2009
ACM
Texture fractalization is used in many existing approaches to ensure the temporal coherence of a stylized animation. This paper presents the results of a psychophysical user-study...
195
click to vote
QEST
2006
IEEE
16 years 19 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
150
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
164
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
In this paper we introduce a dynamic programming algorithm to perform linear text segmentation by global minimization of a segmentation cost function which consists of: (a) within...