1189 search results - page 83 / 238 » The Quotient of an Abstract Interpretation |
96
Voted
MTA
2006
15 years 18 days ago
2006
Abstract. Query-by-example and query-by-keyword both suffer from the problem of "aliasing," meaning that example-images and keywords potentially have variable interpretat...
120
Voted
JBI
2007
15 years 17 days ago
2007
This paper deals with the exploration of biomedical multivariate time series to construct typical parameter evolution or scenarios. This task is known to be difficult: the tempora...
JSYML
2002
15 years 10 days ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
105
click to vote
TCS
2002
15 years 9 days ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
82
Voted
JCT
2010
14 years 11 months ago
2010
Abstract. New enumerating functions for the Euler numbers are considered. Several of the relevant generating functions appear in connection to entries in Ramanujan’s Lost Noteboo...