Sciweavers

3628 search results - page 297 / 726
» The Decision Diffie-Hellman Problem
Sort
View
LICS
2005
IEEE
16 years 7 days ago
Model-Checking 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...
Markus Lohrey
CSCLP
2005
Springer
16 years 6 days ago
A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse
Abstract. We adopt Benders’ decomposition algorithm to solve scenariobased Stochastic Constraint Programs (SCPs) with linear recourse. Rather than attempting to solve SCPs via a ...
Armagan Tarim, Ian Miguel
DBISP2P
2005
Springer
79views Database» more  DBISP2P 2005»
16 years 6 days ago
A Gradient Topology for Master-Slave Replication in Peer-to-Peer Environments
Open peer-to-peer architectures offer many possibilities for replicating database content, but designers have to deal with problems such as peer churn rates and inherent uncertain...
Jan Sacha, Jim Dowling
190
Voted
ANTSW
2004
Springer
16 years 2 days ago
Search Bias in Constructive Metaheuristics and Implications for Ant Colony Optimisation
Constructive metaheuristics explore a tree of constructive decisions, the topology of which is determined by the way solutions are represented and constructed. Some solution repres...
James Montgomery, Marcus Randall, Tim Hendtlass
ITS
2004
Springer
124views Multimedia» more  ITS 2004»
16 years 20 hour ago
A Multi-dimensional Taxonomy for Automating Hinting
Abstract. Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, ...
Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek