2863 search results - page 242 / 573 » Comparing Operating Systems Using Robustness Benchmarks |
134
click to vote
ENTCS
2007
15 years 4 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
139
Voted
ESWA
2011
14 years 11 months ago
2011
This paper presents a personalized long-term electrocardiogram (ECG) classification framework, which addresses the problem within a long-term ECG signal, known as Holter register, ...
198
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
135
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
We present an asymmetric watermarking method for copyright protection that uses different matrix operations to embed and extract a watermark. It allows for the public release of a...
113
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
— We present a novel plane tracking algorithm based on the direct update of surface parameters from two stereo images. The plane tracking algorithm is posed as an optimization pr...