3146 search results - page 80 / 630 » Efficient Consequence Finding |
HASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Many problems in high assurance systems design are only tractable using computationally expensive search algorithms. For these algorithms to be useful, designers must be provided ...
HUMO
2007
Springer
14 years 2 months ago
2007
Springer
We propose a method to find candidate 2D articulated model configurations by searching for locally optimal configurations under a weak but computationally manageable fitness functi...
APWEB
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Sensor deployment is an important issue in designing sensor networks. In this paper, particle swarm optimization (PSO) approach is applied to maximize the coverage based ...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
The fundamental operation of dominance testing, i.e., determining if one alternative is preferred to another, is in general very hard for methods of reasoning with qualitative cond...
DGCI
2000
Springer
14 years 1 months ago
2000
Springer
We consider the problem of finding the best match for a given query shape among candidate shapes stored in a shape base. This is central to a wide range of applications, such as, d...