Sciweavers

1596 search results - page 233 / 320
» Quantum property testing
Sort
View
CSCLP
2004
Springer
14 years 3 months ago
A Value Ordering Heuristic for Local Search in Distributed Resource Allocation
Abstract. In this paper we develop a localized value-ordering heuristic for distributed resource allocation problems. We show how this value ordering heuristics can be used to achi...
Adrian Petcu, Boi Faltings
ECAI
2004
Springer
14 years 3 months ago
New Insights on the Intuitionistic Interpretation of Default Logic
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
Pedro Cabalar, David Lorenzo
EGPGV
2004
Springer
214views Visualization» more  EGPGV 2004»
14 years 3 months ago
Hierarchical Visualization and Compression of Large Volume Datasets Using GPU Clusters
We describe a system for the texture-based direct volume visualization of large data sets on a PC cluster equipped with GPUs. The data is partitioned into volume bricks in object ...
Magnus Strengert, Marcelo Magallón, Daniel ...
GECCO
2004
Springer
118views Optimization» more  GECCO 2004»
14 years 3 months ago
Better Spread and Convergence: Particle Swarm Multiobjective Optimization Using the Maximin Fitness Function
Maximin strategy has its origin in game theory, but it can be adopted for effective multiobjective optimization. This paper proposes a particle swarm multiobjective optimiser, max...
Xiaodong Li
GI
2004
Springer
14 years 3 months ago
Saliency Extraction for Gaze-Contingent Displays
: Organic Computing is beginning to provide computer systems with organic and biological properties. We believe these systems will benefit from user interfaces that integrate the ...
Martin Böhme, Christopher Krause, Thomas Mart...