575 search results - page 14 / 115 » What is the space for |
AIIA
2009
Springer
14 years 4 months ago
2009
Springer
This paper studies the following question: given an instance of the propositional satisfiability problem, a randomized satisfiability solver, and a cluster of n computers, what i...
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Hyper-heuristics or “heuristics that coordinate heuristics” are fastly becoming popular for solving combinatorial optimisation problems. These methods do not search directl...
JANCL
2007
13 years 9 months ago
2007
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
SEUS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper introduces a novel resource management approach based on personal service aggregations(PSAs) for smart spaces. As a smart space is usually a sharable system that simult...
LAWEB
2009
IEEE
14 years 4 months ago
2009
IEEE
—As the population ages worldwide, more and more efforts are being made toward providing the best conditions possible for our elders. In these efforts, technology plays a very pr...