1011 search results - page 69 / 203 » The three dimensions of proofs |
179
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Outsourcing and offshoring lead to a rapid influx of new developers in software projects. That, in turn, manifests in lower productivity and project delays. To address this common...
208
click to vote
MMAS
2011
Springer
14 years 9 months ago
2011
Springer
This paper introduces a new sweeping preconditioner for the iterative solution of the variable coefficient Helmholtz equation in two and three dimensions. The algorithms follow th...
233
click to vote
OIR
2011
14 years 9 months ago
2011
This paper integrates expectancy disconfirmation theory and justice theory to construct a model for investigating the motivations behind people’s knowledge sharing in open profe...
157
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
We propose the use of eigenvectors for automated multidimensional image segmentation. The approach of Shi and Malik [8] has been extended in three dimensions and applied on biomed...
168
click to vote
STOC
2003
ACM
16 years 6 months ago
2003
ACM
We initiate an investigation of sublinear algorithms for geometric problems in two and three dimensions. We give optimal algorithms for intersection detection of convex polygons a...