Sciweavers

1690 search results - page 78 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
ADAEUROPE
2008
Springer
15 years 10 months ago
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
ACIVS
2007
Springer
15 years 10 months ago
Grass Detection for Picture Quality Enhancement of TV Video
Current image enhancement in televisions can be improved if the image is analyzed, objects of interest are segmented, and each segment is processed with specifically optimized alg...
Bahman Zafarifar, Peter H. N. de With
HYBRID
2010
Springer
15 years 2 months ago
Oscillation analysis of linearly coupled piecewise affine systems
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura
COMPGEOM
1997
ACM
15 years 8 months ago
Realistic Input Models for Geometric Algorithms
Many algorithms developed in computational geometry are needlessly complicated and slow because they have to be prepared for very complicated, hypothetical inputs. To avoid this, ...
Mark de Berg, Matthew J. Katz, A. Frank van der St...
JCDL
2009
ACM
154views Education» more  JCDL 2009»
15 years 10 months ago
An alignment based system for chord sequence retrieval
Music retrieval systems for Western tonal music digital libraries have to consider rhythmic, timbral, melodic and harmonic information. Most existing retrieval systems only take i...
Pierre Hanna, Matthias Robine, Thomas Rocher