1567 search results - page 268 / 314 » A Mechanized Model of the Theory of Objects |
CORR
2010
Springer
14 years 6 months ago
2010
Springer
The concept of effective complexity of an object as the minimal description length of its regularities has been initiated by Gell-Mann and Lloyd. The regularities are modeled by m...
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We present the fast Spherical Demons algorithm for registering two spherical images. By exploiting spherical vector spline interpolation theory, we show that a large clas...
CHI
2005
ACM
16 years 6 days ago
2005
ACM
This paper describes a new collaboration technology that is based on the support of lightweight, informally structured, opportunistic activities featuring heterogeneous threads of...
103
click to vote
RECOMB
2004
Springer
16 years 3 days ago
2004
Springer
Protein-protein interactions, which form the basis for most cellular processes, result in the formation of protein interfaces. Believing that the local shape of proteins is crucia...
PODS
2008
ACM
15 years 12 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...