2292 search results - page 250 / 459 » Structure preserving embedding |
147
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
149
Voted
CBMS
2003
IEEE
15 years 8 months ago
2003
IEEE
This article addresses 2-dimensional layout of high-dimensional biomedical datasets, which is useful for browsing them efficiently. We employ the Isomap technique, which is based ...
141
Voted
MABS
2000
Springer
15 years 8 months ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...
163
click to vote
MPC
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
156
click to vote
SIGGRAPH
1995
ACM
15 years 8 months ago
1995
ACM
We describe a simple technique for editing captured or keyframed animation based on warping of the motion parameter curves. The animator interactively defines a set of keyframe-l...