11973 search results - page 342 / 2395 » Methods for organizational development |
199
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...
179
click to vote
PR
2002
15 years 6 months ago
2002
The satellite image deconvolution problem is ill-posed and must be regularized. Herein, we use an edge-preserving regularization model using a ' function, involving two hyper...
199
Voted
MICS
2008
15 years 6 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
164
click to vote
IPMU
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many surveillance cameras are being installed throughout the environments of our daily lives because they effectively maintain safety and offer security to ordinary peopl...
229
click to vote
VSGAMES
2010
15 years 5 months ago
2010
—Mass adoption of virtual world platforms for education and training implies efficient management of computational resources. In Second Life Grid and OpenSimulator, commonly used...