19798 search results - page 429 / 3960 » Is Structural Subtyping Useful |
138
click to vote
NIPS
2001
15 years 5 months ago
2001
The Temporal Coding Hypothesis of Miller and colleagues [7] suggests that animals integrate related temporal patterns of stimuli into single memory representations. We formalize t...
107
click to vote
SCM
2003
15 years 5 months ago
2003
Abstract. Motivated by our work on object-oriented Content Management, this paper proposes an extensible formal framework for delta and merging strategies, each applicable to a spe...
IJNVO
2006
15 years 3 months ago
2006
: Healthcare globally is failing to meet its objectives of delivering appropriate medical attention to patients. We suggest that by adopting a networkcentric approach healthcare op...
118
click to vote
CN
2000
15 years 3 months ago
2000
The study of the web as a graph is not only fascinating in its own right, but also yields valuable insight into web algorithms for crawling, searching and community discovery, and...
137
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...