2010 search results - page 155 / 402 » On Object Extension |
128
Voted
ICFP
1996
ACM
15 years 8 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
133
click to vote
SE
2007
15 years 6 months ago
2007
Agile methodologies can be enhanced by the use of shadows as this feature because of its inherent ability to dynamically change the behavior of classes and objects, provides mecha...
137
Voted
WCE
2007
15 years 5 months ago
2007
— The rapid transit network design problem considers at upper level the list of potential transit corridors and stations to design the network as a discrete space of alternatives...
120
Voted
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we investigate the possibilities offered by the extension of the connected component trees (cc-trees) to multivariate images. We propose a general framework for ima...
203
click to vote
SCL
2008
15 years 4 months ago
2008
The objective of this note is to prove, under certain technical conditions, that the top-Lyapunov exponent of a strictly stationary random sequence of block-triangular matrices is...