450 search results - page 19 / 90 » Mathematical Formulas Extraction |
SAT
2005
Springer
14 years 3 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
PR
2007
13 years 9 months ago
2007
This paper presents an orientation operator to extract image local orientation features. We show that a proper employment of image integration leads to an unbiased orientation est...
FLAIRS
2007
14 years 5 days ago
2007
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...
ISCAS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper a 173-bit type II ONB ECC processor Section II introduces the mathematical backgrounds for for inductive RFID applications is described. Compared with curve operation...