370 search results - page 10 / 74 » Mathematical Symbol Indexing |
DOCENG
2003
ACM
15 years 2 months ago
2003
ACM
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
104
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
CALCO
2009
Springer
15 years 4 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
85
Voted
ISSAC
2000
Springer
15 years 1 months ago
2000
Springer
A canal surface S, generated by a parametrized curve m(t), in R3 is the envelope of the set of spheres with radius r(t) centered at m(t). This concept generalizes the classical of...
84
Voted
CASC
2010
Springer
14 years 8 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...