370 search results - page 22 / 74 » Mathematical Symbol Indexing |
ISSAC
2007
Springer
15 years 3 months ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
ICMS
2010
14 years 8 months ago
2010
Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a so...
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
86
Voted
COLING
2002
14 years 9 months ago
2002
This paper presents a framework for clustering in text-based information retrieval systems. The prominent feature of the proposed method is that documents, terms, and other relate...
LION
2010
Springer
15 years 2 months ago
2010
Springer
We demonstrate a means of knowledge discovery through feature extraction that exploits the search history of an optimization run. We regress a symbolic model ensemble from optimiza...