5234 search results - page 67 / 1047 » Method Components - Rationale Revealed |
IEEECIT
2010
IEEE
14 years 7 months ago
2010
IEEE
The practical teaching is a key to train students in practical ability and innovative consciousness. But, evaluation standards of practice teaching are still confusion. By analyzin...
TSE
2011
14 years 4 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a unified duality view of several recently emerged spectral methods for nonlinear dimensionality reduction, including Isomap, locally linear embedding, Laplacian eigenm...
ENTCS
2006
14 years 9 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— Daily life objects reveal natural similarities, which cannot be resolved with the perception of a single view. In this paper, we present an approach for object separation using...