Sciweavers

8413 search results - page 1032 / 1683
» Ordering Problem Subgoals
Sort
View
ESA
2006
Springer
77views Algorithms» more  ESA 2006»
15 years 11 months ago
Negative Examples for Sequential Importance Sampling of Binary Contingency Tables
The sequential importance sampling (SIS) algorithm has gained considerable popularity for its empirical success. One of its noted applications is to the binary contingency tables p...
Ivona Bezáková, Alistair Sinclair, D...
EWCBR
2006
Springer
15 years 11 months ago
Combining Multiple Similarity Metrics Using a Multicriteria Approach
The design of a CBR system involves the use of similarity metrics. For many applications, various functions can be adopted to compare case features and to aggregate them into a glo...
Luc Lamontagne, Irène Abi-Zeid
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 11 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
FSTTCS
2006
Springer
15 years 11 months ago
Branching Pushdown Tree Automata
We observe that pushdown tree automata (PTAs) known in the literature cannot express combinations of branching and pushdown properties. This is because a PTA processes the children...
Rajeev Alur, Swarat Chaudhuri
GECCO
2006
Springer
155views Optimization» more  GECCO 2006»
15 years 11 months ago
Comparison of genetic representation schemes for scheduling soft real-time parallel applications
This paper presents a hybrid technique that combines List Scheduling (LS) with Genetic Algorithms (GA) for constructing non-preemptive schedules for soft real-time parallel applic...
Yoginder S. Dandass, Amit C. Bugde
« Prev « First page 1032 / 1683 Last » Next »