1022 search results - page 134 / 205 » Stable models and circumscription |
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
In wireless multicast systems, cooperative multicast has been shown to be effective in dealing with heterogeneous channel conditions and improving the system performance. However,...
SIGECOM
2011
ACM
13 years 1 months ago
2011
ACM
We introduce a matching model in which agents engage in joint ventures via multilateral contracts. This approach allows us to consider production complementarities previously outs...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract-- Many applications are driven by evolving data -patterns in web traffic, program execution traces, network event logs, etc., are often non-stationary. Building prediction...
LPKR
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
PADL
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...