4266 search results - page 486 / 854 » Search for More Declarativity |
160
click to vote
CP
1997
Springer
15 years 11 months ago
1997
Springer
A number of pitfalls of empirical scheduling research are illustrated using real experimental data. These pitfalls, in general, serve to slow the progress of scheduling research b...
190
click to vote
ECP
1997
Springer
15 years 11 months ago
1997
Springer
A possibilistic approach of planning under uncertainty has been developed recently. It applies to problems in which the initial state is partially known and the actions have graded...
153
click to vote
ICCAD
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we look at the problem of inverter minimization in multi-level logic networks. The network is specified in terms of a set of base functions and the inversion opera...
186
click to vote
ITC
1992
IEEE
15 years 11 months ago
1992
IEEE
In this paper we report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations. Run times and success rates, i.e. t...
164
click to vote
CICLING
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Documents written in languages other than English sometimes include parenthetical English translations, usually for technical and scienti c terminology. Techniques had be...