3820 search results - page 648 / 764 » Computational Physics |
188
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov C...
143
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov C...
181
click to vote
SIGGRAPH
1996
ACM
15 years 9 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
186
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe the evolution and impact of computersupported cooperative work (CSCW) research through social network analysis of coauthorship data. A network of author...
185
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...