Sciweavers

722 search results - page 64 / 145
» Efficient Generation of Prime Numbers
Sort
View
FATES
2006
Springer
13 years 11 months ago
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
Cheng Li, Zhe Dang
ADMA
2005
Springer
134views Data Mining» more  ADMA 2005»
13 years 9 months ago
An LZ78 Based String Kernel
We develop the notion of normalized information distance (NID) [7] into a kernel distance suitable for use with a Support Vector Machine classifier, and demonstrate its use for an...
Ming Li, Ronan Sleep
SPIESR
2004
156views Database» more  SPIESR 2004»
13 years 9 months ago
Automated closed-captioning using text alignment
The production of closed captions is an important but expensive process in video broadcasting. We propose a method to generate highly accurate off-line captions efficiently. Our s...
Anthony F. Martone, Cüneyt M. Taskiran, Edwar...
IJCSA
2007
130views more  IJCSA 2007»
13 years 7 months ago
Binary Particle Swarm Optimization Based Defensive Islanding Of Large Scale Power Systems
Power system defensive islanding is an efficient way to avoid catastrophic wide area blackouts, such as the 2003 North American Blackout. Finding defensive islands of large-scale ...
Wenxin Liu, Li Liu, David A. Cartes, Ganesh K. Ven...
ICIP
2006
IEEE
14 years 9 months ago
On the Modeling of Motion in Wyner-Ziv Video Coding
In the past few years, a number of practical video coding schemes following distributed source coding principles have emerged. One of the main goals of distributed video coding (D...
Marco Tagliasacchi, Stefano Tubaro, Augusto Sarti