7167 search results - page 992 / 1434 » Answer Set Programming |
130
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
130
click to vote
COR
2008
15 years 4 months ago
2008
Finding a feasible solution to a generic Mixed-Integer Program (MIP) is often a very difficult task. Recently, two heuristic approaches called Feasibility Pump and Local Branching...
129
Voted
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
15 years 4 months ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
143
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
A set of N independent Gaussian linear time invariant systems is observed by M sensors whose task is to provide the best possible steady-state causal minimum mean square estimate o...
133
click to vote
EAAI
2008
15 years 4 months ago
2008
The criterion of total weighted completion time occurs as a sub-problem of combinatorial optimization problems in such diverse areas as scheduling, container loading and storage a...