4166 search results - page 552 / 834 » Automating the constraining process |
103
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
139
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
139
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speci...
104
click to vote
ITC
2002
IEEE
15 years 9 months ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
127
click to vote
ICCBR
2009
Springer
15 years 9 months ago
2009
Springer
Oil well drilling is a complex process which frequently leads to operational problems. In order to deal with some of these problems, knowledge intensive case based reasoning (KiCBR...