1547 search results - page 110 / 310 » Solving Knapsack Problems in a Sticker Based Model |
127
click to vote
ICCSA
2007
Springer
15 years 7 months ago
2007
Springer
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
107
click to vote
FDTC
2007
Springer
15 years 9 months ago
2007
Springer
We present a novel non-linear error coding framework which incorporates strong adversarial fault detection capabilities into identity based encryption schemes built using Tate pai...
132
Voted
CP
2004
Springer
15 years 7 months ago
2004
Springer
Many combinatorial (optimisation) problems have natural models based on, or including, set variables and set constraints. This was already known to the constraint programming commu...
115
Voted
AUTOMATICA
2002
15 years 3 months ago
2002
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
136
click to vote
ENTCS
2010
15 years 24 days ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...