8512 search results - page 80 / 1703 » Computing Theory With Relevance |
PC
2000
13 years 8 months ago
2000
A short overview is presented of the density functional theory and molecular dynamics (DFT
DAC
2005
ACM
14 years 9 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
SIGECOM
2005
ACM
14 years 1 months ago
2005
ACM
We study a multi-unit auction with multiple bidders, each of whom has a private valuation and a budget. The truthful mechanisms of such an auction are characterized, in the sense ...
VLSM
2005
Springer
14 years 1 months ago
2005
Springer
We develop a fast numerical method to approximate the solutions of a wide class of equations associated to the Shape From Shading problem. Our method, which is based on the control...
CHI
1999
ACM
14 years 14 days ago
1999
ACM
A distributed immersive virtual environment was deployed as a component of a pedagogical strategy for teaching third grade children that the Earth is round. The displacement strat...