1174 search results - page 10 / 235 » Derivation of Characteristic Formulae |
119
click to vote
JSAT
2010
14 years 8 months ago
2010
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
95
Voted
ORL
2007
15 years 1 months ago
2007
For the M/D/1 processor sharing queue, explicit formulas for the coefficient of variation of the sojourn time conditioned on the service time and on the residual service times of ...
109
Voted
CORR
1998
Springer
15 years 1 months ago
1998
Springer
An important characteristic of many logics for Arti cial Intelligence is their nonmonotonicity. This means that adding a formula to the premises can invalidate some of the consequ...
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose a novel approach for understanding and analyzing the online handwritten chemical formulas. With the structural characteristics, semantic rules, and more ...
132
click to vote
MCFNS
2010
14 years 8 months ago
2010
Recent advances in LiDAR (Light Detection and Ranging) technology have allowed for the remote sensing of important forest characteristics to be more reliable and commercially avail...