2790 search results - page 48 / 558 » A generative theory of relevance |
JSC
2006
14 years 11 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
We give a precise definition of "generic-case complexity" and show that for a very large class of finitely generated groups the classical decision problems of group theor...
SYNTHESE
2011
14 years 6 months ago
2011
Various forms of underdetermination that might threaten the realist stance are examined. That which holds between different ‘formulations’ of a theory (such as the Hamiltonian...
ASAP
2003
IEEE
15 years 3 months ago
2003
IEEE
We introduce another view of group theory in the field of interconnection networks. With this approach it is possible to specify application specific network topologies for permut...
ADCM
2007
15 years 41 min ago
2007
A geometric derivation of numerical integrators for optimal control problems is proposed. It is based in the classical technique of generating functions adapted to the special fea...