3090 search results - page 587 / 618 » On Testing Answer-Set Programs |
125
click to vote
SIGUCCS
2005
ACM
15 years 7 months ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...
113
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
147
click to vote
IFIP
2005
Springer
15 years 7 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
106
click to vote
ACMICEC
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we describe the operation of barter trade exchanges by identifying key techniques used by trade brokers to stimulate trade and satisfy member needs, and present alg...
119
click to vote
ISLPED
2004
ACM
15 years 7 months ago
2004
ACM
Microprocessor designers use techniques such as clock gating to reduce power dissipation. An unfortunate side-effect of these techniques is the processor current fluctuations th...