4266 search results - page 324 / 854 » The container loading problem |
209
click to vote
EWCBR
1993
Springer
15 years 10 months ago
1993
Springer
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
163
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...
147
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
The problem of key management for access control systems has been well-studied, and the literature contains several schemes for hierarchy-based and temporal-based access control. ...
182
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we address the problem of on-line recognition of human activities taking place in a public area such as a shopping center. We consider standard activities; namely, en...
159
click to vote
CADE
2006
Springer
15 years 10 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...