5550 search results - page 1032 / 1110 » Different Approaches to Proof Systems |
184
click to vote
AAAI
1990
15 years 7 months ago
1990
Programs such as Bacon, Abacus, Coper, Kepler and others are designed to find functional relationships of scientific significance in numerical data without relying on the deep dom...
189
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
Case-based planning can take advantage of former problem-solving experiences by storing in a plan library previously generated plans that can be reused to solve similar planning p...
201
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the memory hierarchy performance. In particular, higher cache hit rate can provide significant performance boos...
270
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
224
click to vote
SIGMETRICS
2012
ACM
13 years 9 months ago
2012
ACM
Energy efficiency and power capping remain growing concerns in server systems. Online applications continue to evolve with new features and dynamic clientdirected processing, res...