29172 search results - page 7 / 5835 » Modeling Systems in CLP |
ICML
2010
IEEE
13 years 8 months ago
2010
IEEE
Link prediction is a key technique in many applications such as recommender systems, where potential links between users and items need to be predicted. A challenge in link predic...
CONSTRAINTS
2004
13 years 7 months ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
DFT
2006
IEEE
14 years 1 months ago
2006
IEEE
1 High temperature has become a major problem for system-on-chip testing. In order to reduce the test time while keeping the temperature of the chip under test within a safe range,...
ICLP
1995
Springer
13 years 11 months ago
1995
Springer
We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, exten...
ICLP
1994
Springer
13 years 11 months ago
1994
Springer
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...