198 search results - page 34 / 40 » The modular structure of physical theories |
91
Voted
ICTAC
2010
Springer
14 years 7 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
125
click to vote
JCDL
2011
ACM
14 years 12 days ago
2011
ACM
Collaborative research has been increasingly popular and important in academic circles. However, there is no open platform available for scholars or scientists to effectively dis...
DNA
2006
Springer
15 years 1 months ago
2006
Springer
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
ICIP
1998
IEEE
15 years 11 months ago
1998
IEEE
Velocity spectra of a flow can be made by ultrasound Doppler measurements. Using only part of the information in these spectra, it is possible to reconstruct the solenoid part and...
106
click to vote
SMI
2006
IEEE
15 years 3 months ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...