Sciweavers

2719 search results - page 264 / 544
» Exposing Application Alternatives
Sort
View
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
16 years 5 days ago
Evolutionary computation methods for synchronization of effects based operations
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
Jeffrey P. Ridder
HPCC
2005
Springer
16 years 5 days ago
A Parallel Distance-2 Graph Coloring Algorithm for Distributed Memory Computers
Abstract. The distance-2 graph coloring problem aims at partitioning the vertex set of a graph into the fewest sets consisting of vertices pairwise at distance greater than two fro...
Doruk Bozdag, Ümit V. Çatalyürek,...
ICALP
2005
Springer
16 years 5 days ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
INEX
2005
Springer
16 years 4 days ago
The Interactive Track at INEX 2005
Abstract. In its second year, the Interactive Track at INEX focused on addressing some fundamental issues of interactive XML retrieval: is element retrieval useful for searchers, w...
Birger Larsen, Saadia Malik, Anastasios Tombros
SAS
2005
Springer
162views Formal Methods» more  SAS 2005»
16 years 4 days ago
Boolean Heaps
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
Andreas Podelski, Thomas Wies