1174 search results - page 34 / 235 » Derivation of Characteristic Formulae |
97
Voted
ICTAI
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses...
110
click to vote
AICT
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we investigate the call blocking probability calculations in the uplink of W-CDMA mobile cellular networks. In these networks, we distinguish two types of blocking,...
183
Voted
JSAI
2007
Springer
15 years 10 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
130
Voted
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper introduces a new representation for planar curves. From the well-known Dirichlet problem for a disk, the harmonic function embedded in a circular disk is solely depende...
147
click to vote
STACS
1999
Springer
15 years 8 months ago
1999
Springer
The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of str...