266 search results - page 16 / 54 » Can Saturation Be Parallelised |
BIOSTEC
2011
12 years 7 months ago
2011
In this article we describe a new wireless biosignal system which monitors in a long-term basis, the users at their homes. The system consists of wearable sensors that measure hear...
KES
1999
Springer
13 years 11 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
CADE
2004
Springer
14 years 7 months ago
2004
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
ISAAC
2009
Springer
14 years 1 months ago
2009
Springer
Toric ideals have many applications including solving integer programs. Several algorithms for computing the toric ideal of an integer matrix are available in the literature. Since...
CADE
1998
Springer
13 years 11 months ago
1998
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...