2780 search results - page 340 / 556 » Effective features of algorithm visualizations |
149
click to vote
MM
2006
ACM
16 years 16 days ago
2006
ACM
A large number of previously recorded videos cannot be directly visualized on mobile devices like PDAs or mobile phones due to an inappropriate screen resolution of their displays...
163
click to vote
CBMS
2006
IEEE
16 years 20 days ago
2006
IEEE
We present methods for monitoring a large, diverse, and autonomously modified collection of healthcare documents on the Web. Our methods do not require documentproviders to offer...
168
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
The paper presents an a priori procedure to control the element size and shape variation for meshing algorithms governed by anisotropic sizing specifications. The field of desir...
216
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
177
click to vote
AAAI
2007
15 years 9 months ago
2007
A mathematical programming formulation is proposed to eliminate irrelevant and redundant features for collaborative computer aided diagnosis which requires to detect multiple clin...