605 search results - page 53 / 121 » Normalizers and Split Extensions |
105
click to vote
NMELP
1994
15 years 3 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
INTERACT
2003
15 years 12 days ago
2003
As a number of networked digital devices are ubiquitously used, control of inter-device communications becomes a complicated task. People can no longer keep track of all the device...
SLP
1993
15 years 11 days ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
EOR
2010
14 years 11 months ago
2010
We consider the problem of accurately measuring the credit risk of a portfolio consisting of loans, bonds and other financial assets. One particular performance measure of interes...
TWC
2010
14 years 5 months ago
2010
Femtocell is an effective solution to improve indoor coverage for cellular networks, where short-range and low-power Base Stations (BSs) called Femto BSs are deployed in small area...