1353 search results - page 187 / 271 » Streamlined Constraint Reasoning |
140
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
128
click to vote
TBILLC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called...
162
click to vote
DSD
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a method with an evolutionary approach to some of the tasks of integrated-circuit (IC) design. The work is focused on application-specific integrated circuits ...
164
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Efficient use of network resources has long been an important problem for large-scale network operators. To this end, several recent research efforts have proposed automated m...
175
click to vote
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...