3891 search results - page 688 / 779 » A logic for strategic reasoning |
208
click to vote
JFP
2007
15 years 6 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
170
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
210
click to vote
SIAMCOMP
2012
13 years 8 months ago
2012
We consider online algorithms for the generalized caching problem. Here we are given a cache of size k and pages with arbitrary sizes and fetching costs. Given a request sequence ...
188
click to vote
TMC
2012
13 years 8 months ago
2012
—This work addresses the fundamental problem of distinguishing between a driver and passenger using a mobile phone, which is the critical input to enable numerous safety and inte...
202
click to vote
TMC
2012
13 years 8 months ago
2012
WiFi interface is known to be a primary energy consumer in mobile devices, and idle listening (IL) is the dominant source of energy consumption in WiFi. Most existing protocols, s...