Sciweavers

INFOCOM
1999
IEEE
14 years 4 months ago
Efficient Selective Frame Discard Algorithms for Stored Video Delivery across Resource Constrained Networks
Video delivery from a server to a client across a network is an important component of many multimedia applications. While delivering a video stream across a resource constrained ...
Zhi-Li Zhang, Srihari Nelakuditi, Rahul Aggarwal, ...
AUSAI
1999
Springer
14 years 4 months ago
Applying Ant Algorithms and the No Fit Polygon to the Nesting Problem
In previous work solutions for the nesting problem are produced using the no fit polygon (NFP), a new evaluation method and three evolutionary algorithms (simulated annealing (SA),...
Edmund K. Burke, Graham Kendall
ASIAN
1999
Springer
123views Algorithms» more  ASIAN 1999»
14 years 4 months ago
Asynchronous Migration in Parallel Genetic Programming
Shisanu Tongchim, Prabhas Chongstitvatana
ASIAN
1999
Springer
186views Algorithms» more  ASIAN 1999»
14 years 4 months ago
Ant Colony Optimization for the Ship Berthing Problem
Abstract. Ant Colony Optimization (ACO) is a paradigm that employs a set of cooperating agents to solve functions or obtain good solutions for combinatorial optimization problems. ...
Chia Jim Tong, Hoong Chuin Lau, Andrew Lim
ASIAN
1999
Springer
89views Algorithms» more  ASIAN 1999»
14 years 4 months ago
Formal Verification of the MCS List-Based Queuing Lock
Kazuhiro Ogata, Kokichi Futatsugi
ASIAN
1999
Springer
114views Algorithms» more  ASIAN 1999»
14 years 4 months ago
Entailment of Non-structural Subtype Constraints
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to...
Joachim Niehren, Tim Priesnitz
ASIAN
1999
Springer
99views Algorithms» more  ASIAN 1999»
14 years 4 months ago
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
ASIAN
1999
Springer
118views Algorithms» more  ASIAN 1999»
14 years 4 months ago
Asynchronous Links in the PBC and M-Nets
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
Hanna Klaudel, Franck Pommereau
ASIAN
1999
Springer
97views Algorithms» more  ASIAN 1999»
14 years 4 months ago
An Expressive Extension of TLC
Jesper G. Henriksen
ASIAN
1999
Springer
86views Algorithms» more  ASIAN 1999»
14 years 4 months ago
Security Modeling and Evaluation for the Mobile Code Paradigm
Anthony H. W. Chan, Michael R. Lyu