3333 search results - page 168 / 667 » Abstract Proof Search |
159
Voted
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
127
Voted
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
127
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we study the problem of placing limited number of wavelength converting nodes in a multi-fiber network with static traffic demands and propose a tabu sear...
144
Voted
KES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Search engines traditionally index unstructured text and return ranked lists of documents that match a given query. As search engines functionally move in the direction o...
121
Voted
ANTSW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a modified version of the Particle swarm Optimization algorithm in which we adjust the virtual swarm search by incorporating inter-agent dynamics native to mul...