Sciweavers

2620 search results - page 264 / 524
» An Evaluation Technique for Binarization Algorithms
Sort
View
ICIP
2008
IEEE
16 years 1 months ago
Gradual transition detection using color coherence and other criteria in a video shot meta-segmentation framework
Shot segmentation provides the basis for almost all high-level video content analysis approaches, validating it as one of the major prerequisites for efficient video semantic ana...
Efthymia Tsamoura, Vasileios Mezaris, Ioannis Komp...
RTCSA
2008
IEEE
16 years 1 months ago
Reward Maximization for Embedded Systems with Renewable Energies
Renewable energies can enable embedded systems to be functional indefinitely. In particular for small autonomous sensors, energy harvesting techniques have attracted much interes...
Clemens Moser, Jian-Jia Chen, Lothar Thiele
ECML
2007
Springer
16 years 28 days ago
Generalization-Based Similarity for Conceptual Clustering
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
16 years 26 days ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
SRDS
2006
IEEE
16 years 23 days ago
AVCast : New Approaches For Implementing Availability-Dependent Reliability for Multicast Receivers
Today’s large-scale distributed systems consist of collections of nodes that have highly variable availability — a phenomenon sometimes called churn. This availability variati...
Thadpong Pongthawornkamol, Indranil Gupta