8512 search results - page 80 / 1703 » Computing Theory With Relevance |
131
click to vote
PC
2000
15 years 3 months ago
2000
A short overview is presented of the density functional theory and molecular dynamics (DFT
116
click to vote
DAC
2005
ACM
16 years 4 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...
134
click to vote
SIGECOM
2005
ACM
15 years 9 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 ...
145
click to vote
VLSM
2005
Springer
15 years 9 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...
142
click to vote
CHI
1999
ACM
15 years 8 months 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...