1011 search results - page 65 / 203 » The three dimensions of proofs |
206
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Compiler transformations can significantly improve data locality for many scientific programs. In this paper, we show iterative solvers for partial differential equations (PDEs) i...
171
click to vote
MOBIS
2008
15 years 7 months ago
2008
: 3D technologies open up new possibilities for modeling business processes. They provide higher plasticity and eliminate some deficits of conventional 2D process modeling such as ...
178
click to vote
MASCOTS
2003
15 years 7 months ago
2003
This paper is motivated by a simple question: what are the energy consumption characteristics of mobile storage alternatives? To answer this question, we are faced with a design s...
166
click to vote
CGF
2007
15 years 6 months ago
2007
In this paper, we propose a robust and efficient Lagrangian approach for modeling dynamic interfaces between different materials undergoing large deformations and topology change...
182
click to vote
SDM
2012
SIAM
13 years 8 months ago
2012
SIAM
To date, many active learning techniques have been developed for acquiring labels when training data is limited. However, an important aspect of the problem has often been neglect...