450 search results - page 12 / 90 » Mathematical Formulas Extraction |
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
DNA
2001
Springer
14 years 2 months ago
2001
Springer
A DNA algorithm for SAT, the satisfiability of propositional formulae, is presented where the number of separation steps is given by the number of clauses of the instance. This re...
IJMMS
2000
13 years 9 months ago
2000
We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they've had. We focus on how they estimate the ...
JMIV
2010
13 years 8 months ago
2010
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...
CSJM
2008
13 years 10 months ago
2008
Abstract. We consider a multicriteria variant for the wellknown partition problem. A formula of the stability radius for an efficient solution was obtained. Mathematics Subject Cl...