3001 search results - page 19 / 601 » Recursive type generativity |
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
How do real, weighted graphs change over time? What patterns, if any, do they obey? Earlier studies focus on unweighted graphs, and, with few exceptions, they focus on static snap...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
EUROPAR
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. Block-recursive codes for dense numerical linear algebra computations appear to be well-suited for execution on machines with deep memory hierarchies because they are e e...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
FATES
2004
Springer
14 years 2 months ago
2004
Springer
