3515 search results - page 651 / 703 » On the semantics of Strategy Logic |
181
Voted
TABLEAUX
2005
Springer
16 years 13 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
220
click to vote
XPU
2004
Springer
16 years 8 days ago
2004
Springer
We describe how a small, successful, self-selected XP team approached a seemingly intractable problem with panache, flair and immodesty. We rewrote a legacy application by deliver...
176
Voted
ILP
2003
Springer
16 years 4 days ago
2003
Springer
In the case of concept learning from positive and negative examples, it is rarely possible to find a unique discriminating conjunctive rule; in most cases, a disjunctive descripti...
163
click to vote
MOBICOM
1996
ACM
15 years 11 months ago
1996
ACM
The CPU is one of the major power consumers in a portable computer, and considerable power can be saved by turning off the CPU when it is not doing useful work. In Apple's Ma...
175
click to vote
FOAL
2008
ACM
15 years 8 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...