2853 search results - page 324 / 571 » On Coherence in Computer Algebra |
107
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
151
click to vote
ASAP
2005
IEEE
15 years 10 months ago
2005
IEEE
We studied the dynamic instruction count reduction for a single-thread, vectorized and a multi-threaded, non-vectorized, MPEG-4 video encoder. Results indicate a maximum improveme...
138
click to vote
MMM
2005
Springer
15 years 10 months ago
2005
Springer
We propose a novel semantic video summarization framework, which generates video skimmings that guarantee both the balanced content coverage and the visual coherence. First, we co...
137
click to vote
WACV
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose a coherent framework for joint key-frame extraction and object-based video segmentation. Conventional key-frame extraction and object segmentation are us...
136
click to vote
NETGAMES
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we analyse different factors affecting players’ perception and performance in multiplayer games. We introduce a mean opinion score metric borrowed from the subje...