1097 search results - page 128 / 220 » Partial evaluation of Maple |
AAAI
2004
14 years 11 months ago
2004
Oversubscribed scheduling problems require removing or partially satisfying tasks when enough resources are not available. For a particular oversubscribed problem, Air Force Satel...
BIOSIG
2003
14 years 11 months ago
2003
: In this paper we propose a multifactor biometric sketch authentication method based on biometric sketch recognition and a user’s personal knowledge about the sketch‘s content...
UAI
2004
14 years 11 months ago
2004
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In the aftermath of a large-scale disaster, agents’ decisions derive from self-interested (e.g. survival), common-good (e.g. victims’ rescue) and teamwork (e.g. fire...
LISP
2008
14 years 10 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...