5216 search results - page 1037 / 1044 » Planning as Model Checking |
101
click to vote
ACE
2004
14 years 11 months ago
2004
A conversational method of teaching whereby the students engage each other as a key part of the learning experience achieves a higher percentage of high grades (and presumably bet...
AAAI
2006
14 years 11 months ago
2006
The Infrastructure of modern society is controlled by software systems that are vulnerable to attacks. Many such attacks, launched by "recreational hackers" have already...
119
click to vote
ECIS
2004
14 years 11 months ago
2004
In the knowledge economy, a firm's intellectual capital represents the only sustainable source of competitive advantage. Intellectual capital manifests itself, predominantly,...
ECIS
2003
14 years 11 months ago
2003
Many governments have shown leadership in encouraging their citizenry to conduct transactions on-line. The policies that underpin these initiatives refer to a blend of civic benef...
AAAI
1994
14 years 11 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...