Sciweavers

90
Voted
ICTAI
1994
IEEE
15 years 4 months ago
GATTO: An Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits
Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza ...
138
Voted
OGAI
1991
15 years 4 months ago
Knowledge-Based Generation of Illustrated Documents
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
Wolfgang Wahlster, Elisabeth André, Som Ban...
ISMIS
1991
Springer
15 years 4 months ago
Fully Deadline-Coupled Planning: One Step at a Time
Madhura Nirkhe, Sarit Kraus, Donald Perlis
ISMIS
1991
Springer
15 years 4 months ago
A Logic of Relative Desire (Preliminary Report)
Jon Doyle, Yoav Shoham, Michael P. Wellman
ICAIL
1991
ACM
15 years 4 months ago
Coping With Change
Paul Bratley, Jacques Frémont, Ejan Mackaay...
135
Voted
ECAI
1992
Springer
15 years 4 months ago
Arc-Consistency for Non-Binary Dynamic CSPs
Constraint satisfaction problems (CSPs) provide a model often used in Artificial Intelligence. Since the problem of the existence of a solution in a CSP is an NP-complete task, man...
Christian Bessière
83
Voted
AISB
1994
Springer
15 years 4 months ago
Complexity Reduction Using Expansive Coding
David Beasley, David R. Bull, Ralph R. Martin