1963 search results - page 166 / 393 » Applications of Preferences using Answer Set Programming |
112
Voted
COR
2006
15 years 3 months ago
2006
Home health care, i.e. visiting and nursing patients in their homes, is a growing sector in the medical service business. From a staff rostering point of view, the problem is to f...
139
Voted
ENTCS
2006
15 years 3 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
130
Voted
ITP
2010
15 years 7 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
157
Voted
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Coupling in software applications is often used as an indicator of external quality attributes such as fault-proneness. In fact, the correlation of coupling metrics and faults i...
129
Voted
MICRO
1997
IEEE
15 years 7 months ago
1997
IEEE
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...