1763 search results - page 24 / 353 » A Formalization of Polytime Functions |
131
click to vote
FOIS
2010
15 years 7 months ago
2010
In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatiz...
140
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
138
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Empirical studies of information retrieval methods show that good retrieval performance is closely related to the use of various retrieval heuristics, such as TF-IDF weighting. On...
158
click to vote
CASC
2007
Springer
15 years 10 months ago
2007
Springer
We consider summation of consecutive values (v), (v +1), . . . , (w) of a meromorphic function (z) where v, w ZZ. We assume that (z) satisfies a linear difference equation L(y) = ...
129
click to vote
MOC
2000
15 years 5 months ago
2000
Abstract. We propose a discretization scheme for a numerical solution of elliptic PDE's, based on local representation of functions, by their Taylor polynomials (jets). This s...