605 search results - page 53 / 121 » Normalizers and Split Extensions |
138
Voted
NMELP
1994
15 years 6 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...
109
Voted
INTERACT
2003
15 years 4 months 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...
115
Voted
SLP
1993
15 years 4 months 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. ...
119
Voted
EOR
2010
15 years 2 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...
75
Voted
TWC
2010
14 years 9 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...