450 search results - page 41 / 90 » Mathematical Formulas Extraction |
82
Voted
IJCAI
1993
15 years 1 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...
76
Voted
AML
2007
15 years 20 days 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
15 years 20 days 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
15 years 19 days 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
15 years 19 days 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...