450 search results - page 41 / 90 » Mathematical Formulas Extraction |
IJCAI
1993
13 years 11 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
AML
2007
13 years 10 months ago
2007
A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to ...
AUTOMATICA
2010
13 years 10 months ago
2010
: The standard continuous time state space model with stochastic disturbances the mathematical abstraction of continuous time white noise. To work with well defined, discrete time ...
COR
2008
13 years 10 months ago
2008
-- The optimal buffer allocation in queueing network systems is a difficult stochastic, non-linear, integer mathematical programming problem. Moreover, the objective function, the ...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract-- We consider code division multiple access communication over a binary input additive white Gaussian noise channel using random spreading. For a general class of symmetri...