43264 search results - page 525 / 8653 » Comparing models of computation |
237
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
206
click to vote
TCSV
2008
15 years 7 months ago
2008
Abstract--Modeling background and segmenting moving objects are significant techniques for video surveillance and other video processing applications. Most existing methods of mode...
296
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
Bezier curves (BC) are fundamental to a wide range of applications from computer-aided design through to object shape descriptions and surface mapping. Since BC only consider glob...
224
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This study applies Auto Regressive (AR) and Auto Regressive Moving Average (ARMA) modeling to wavelet decomposed terahertz pulsed signals to assist biomedical diagnosis and mail/p...
207
Voted
PDP
2007
IEEE
16 years 1 months ago
2007
IEEE
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development effort...