1382 search results - page 151 / 277 » Formal Analysis of Online Algorithms |
186
click to vote
JSSPP
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. As multi-core processors proliferate, it has become more important than ever to ensure efficient execution of parallel jobs on multiprocessor systems. In this paper, we s...
151
click to vote
ICDAR
2007
IEEE
16 years 22 days ago
2007
IEEE
Post-processors are critical to the performance of language recognizers like OCRs, speech recognizers, etc. Dictionary-based post-processing commonly employ either an algorithmic ...
183
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
An innate characteristic of the development of ontologies is that they are often created by independent groups of expertise, which generates the necessity of merging and aligning o...
143
click to vote
JLP
2006
15 years 6 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
214
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...