1702 search results - page 146 / 341 » Using Nondeterminism to Design Efficient Deterministic Algor... |
TACAS
1998
Springer
14 years 2 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
ICIP
2004
IEEE
14 years 12 months ago
2004
IEEE
The binary set splitting with k-d trees (BISK) algorithm is introduced. An embedded wavelet-based image coder based on the popular bitplane-coding paradigm, BISK is designed speci...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
An enhanced shot change detection algorithm for soccer video analysis is proposed in this paper. Features extracted from reliable motion vectors (MVs) are used to enhance the accu...
IMCSIT
2010
13 years 7 months ago
2010
Recently we have setup the goal of investigating new truly distributed forms of Ant Colony Optimization. We proposed a new distributed approach for Ant Colony Optimization (ACO) al...
SIAMCOMP
2000
13 years 10 months ago
2000
We propose a provably efficient application-controlled global strategy for organizing a cache of size k shared among P application processes. Each application has access to informa...