1588 search results - page 34 / 318 » The Intelligence Within |
CP
2008
Springer
14 years 23 days ago
2008
Springer
Abstract. We devise a theoretical model for dichotomic search algorithms for constrained optimization. We show that, within our model, a certain way of choosing the breaking point ...
MICAI
2004
Springer
14 years 4 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
AMAI
2002
Springer
13 years 10 months ago
2002
Springer
: Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality wh...
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
IAT
2006
IEEE
14 years 5 months ago
2006
IEEE
We consider the problem of distributed task allocation across swarm units comprising a swarm-based system. We model task allocation as a dynamic pricing problem within a market se...