2308 search results - page 63 / 462 » Representing Symbolic Reasoning |
158
click to vote
ICPP
1999
IEEE
15 years 9 months ago
1999
IEEE
Task graph scheduling has been found effective in performance prediction and optimization of parallel applications. A number of static scheduling algorithms have been proposed for...
139
click to vote
EMO
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Archives are used in Multi-Objective Evolutionary Algorithms to establish elitism. Depending on the optimization problem, an unconstrained archive may grow to an immense ...
164
click to vote
ISSAC
1995
Springer
15 years 9 months ago
1995
Springer
: We present e cient algorithms based on a combination of numeric and symbolic techniques for evaluating one-dimensional algebraic sets in a subset of the real domain. Given a desc...
168
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
171
click to vote
IJCAI
2003
15 years 6 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...