536 search results - page 80 / 108 » A Translational Approach to Constraint Answer Set Solving |
109
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
123
Voted
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
109
click to vote
VISUALIZATION
1998
IEEE
15 years 6 months ago
1998
IEEE
We describe an aircraft design problem in high dimensional space, with D typically being 10 to 30. In some respects this is a classic optimization problem, where the goal is to fi...
134
click to vote
VECPAR
2000
Springer
15 years 5 months ago
2000
Springer
A parallel implementation of the specialized interior-point algorithm for multicommodity network flows introduced in [5] is presented. In this algorithm, the positive definite syst...
107
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...