1353 search results - page 187 / 271 » Streamlined Constraint Reasoning |
ICLP
2005
Springer
15 years 3 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 ...
TBILLC
2005
Springer
15 years 3 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...
DSD
2003
IEEE
15 years 3 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 ...
INFOCOM
2003
IEEE
15 years 3 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...
AGTIVE
2003
Springer
15 years 3 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...