Sciweavers

3628 search results - page 268 / 726
» The Decision Diffie-Hellman Problem
Sort
View
HICSS
2009
IEEE
127views Biometrics» more  HICSS 2009»
16 years 1 months ago
An Optimization Model for Tactical Planning of Wood Procurement
This paper presents a new LP (Linear Programming) model to solve a tactical wood procurement and harvesting problem. This optimization problem occurs in several wood supply chains...
Anders Skjäl, Kaj-Mikael Björk, Jenny &O...
FOSSACS
2005
Springer
16 years 4 days ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
FSTTCS
2005
Springer
16 years 4 days ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
GECCO
2003
Springer
15 years 12 months ago
DNA-Like Genomes for Evolution in silico
We explore the advantages of DNA-like genomes for evolutionary computation in silico. Coupled with simulations of chemical reactions, these genomes offer greater efficiency, reliab...
Michael West, Max H. Garzon, Derrel Blain
165
Voted
ICDCSW
2002
IEEE
15 years 11 months ago
Trust-Aware Cooperation
In mobile teamwork environments two basic problems exist: how to discover someone based on a profile (skills, reputations) and how to assess that person’s “credibility” (tr...
Zoran Despotovic, Karl Aberer, Manfred Hauswirth