97 search results - page 2 / 20 » A Search Engine for Mathematical Formulae |
JMLR
2002
13 years 4 months ago
2002
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Sponsored search mechanisms have drawn much attention from both academic community and industry in recent years since the seminal papers of [3] and [4]. However, most of the exist...
ICML
2001
IEEE
14 years 5 months ago
2001
IEEE
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
BIOTECHNO
2008
IEEE
13 years 11 months ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
C3S2E
2010
ACM
13 years 6 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...