7075 search results - page 268 / 1415 » Models and heterogeneous reasoning |
181
click to vote
IJCSA
2007
15 years 6 months ago
2007
The problem of task assignment in heterogeneous computing systems has been studied for many years with many variations. We have developed a new hybrid approximation algorithm. The...
160
click to vote
AIIA
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents the user modeling and recommendation techniques applied in Personal Program Guide (PPG), a system generating personalized Electronic Program Guides for digital ...
173
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
164
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
149
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...