Sciweavers

4620 search results - page 296 / 924
» Comparing Object Encodings
Sort
View
CAV
2007
Springer
157views Hardware» more  CAV 2007»
16 years 27 days ago
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
Luca de Alfaro, Marco Faella
ISVC
2007
Springer
16 years 26 days ago
Image Compression Using Data-Dependent Triangulations
We present a method to speed up the computation of a high-quality data-dependent triangulation approximating an image using simulated annealing by probability distributions guided ...
Burkhard Lehner, Georg Umlauf, Bernd Hamann
IWANN
2007
Springer
16 years 26 days ago
A Comparison Between ANN Generation and Training Methods and Their Development by Means of Graph Evolution: 2 Sample Problems
Abstract. This paper presents a study in which a new technique for automatically developing Artificial Neural Networks (ANNs) by means of Evolutionary Computation (EC) tools is com...
Daniel Rivero, Julian Dorado, Juan R. Rabuñ...
AICT
2006
IEEE
101views Communications» more  AICT 2006»
16 years 23 days ago
Erasure Codes for Increasing the Availability of Grid Data Storage
In this paper, we describe the design of a highlyavailable Grid data storage system. Increased availability is ensured by data redundancy and file striping. Redundant data is com...
Mikko Pitkänen, Rim Moussa, D. Martin Swany, ...
DCC
2006
IEEE
16 years 23 days ago
A Fast and Low Complexity Image Codec based on Backward Coding of Wavelet Trees
A new approach of backward coding of wavelet trees (BCWT) is presented. Contrary to the common “forward” coding of wavelet trees from the highest level (lowest resolution), th...
Jiangling Guo, Sunanda Mitra, Brian Nutter, Tanja ...