Sciweavers

368 search results - page 33 / 74
» b 1998
Sort
View
EC
1998
134views ECommerce» more  EC 1998»
13 years 7 months ago
Schema Theory for Genetic Programming with One-Point Crossover and Point Mutation
In this paper we first review the main results obtained in the theory of schemata in Genetic Programming (GP) emphasising their strengths and weaknesses. Then we propose a new, s...
Riccardo Poli, William B. Langdon
SIAMCOMP
1998
176views more  SIAMCOMP 1998»
13 years 7 months ago
An O(log k) Approximate Min-Cut Max-Flow Theorem and Approximation Algorithm
It is shown that the minimum cut ratio is within a factor of O(log k) of the maximum concurrent flow for k-commodity flow instances with arbitrary capacities and demands. This im...
Yonatan Aumann, Yuval Rabani
ISORC
1998
IEEE
13 years 12 months ago
Coordinated Atomic Actions in Modelling Objects Cooperation
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
Rogério de Lemos, Alexander B. Romanovsky
LCTRTS
1998
Springer
13 years 12 months ago
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
Gaurav Arora, David B. Stewart
VLDB
1998
ACM
86views Database» more  VLDB 1998»
13 years 11 months ago
Inferring Function Semantics to Optimize Queries
The goal of the COKO-KOLA project [10, 91 is to express rules of rule-basedoptimizers in a mannerpermitting verification with a theoremprover. In [IO], we consideredquerytransform...
Mitch Cherniack, Stanley B. Zdonik