4018 search results - page 277 / 804 » Process algebra for performance evaluation |
143
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...
148
Voted
APGV
2009
ACM
16 years 20 days 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...
184
Voted
QEST
2006
IEEE
16 years 5 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...
141
Voted
DATE
2003
IEEE
15 years 11 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 ...
160
click to vote
EACL
2003
ACL Anthology
15 years 7 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...