1567 search results - page 141 / 314 » A Mechanized Model of the Theory of Objects |
122
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
IEEECGIV
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a novel approach to the problem of hairstyle construction from raw surface data such as the ones obtained from surface scans. Our approach is based on a shape matching ...
CPHYSICS
2006
15 years 1 months ago
2006
We study the relation between the acquisition and analysis of data and quantum theory using a probabilistic and deterministic model for photon polarizers. We introduce criteria fo...
ALIFE
1998
15 years 1 months ago
1998
The origin of multicellular organisms and the mechanism of development in cell societies are studied by choosing a model with intracellular biochemical dynamics allowing for oscill...
121
click to vote
ACSW
2006
15 years 3 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...