674 search results - page 32 / 135 » From Constructibility and Absoluteness to Computability and ... |
124
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: Proteins are comprised of one or several building blocks, known as domains. Such domains can be classified into families according to their evolutionary origin. Wherea...
116
click to vote
ANSOFT
1998
15 years 1 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...
158
Voted
PAMI
2002
15 years 1 months ago
2002
We analyze theoretically the subspace best approximating images of a convex Lambertian object taken from the same viewpoint, but under different distant illumination conditions. Si...
124
Voted
AICOM
2004
15 years 1 months ago
2004
The paper abstracts the contents of a PhD dissertation entitled A Generic, Collaborative Framework for Interval Constraint Solving which has been recently defended. This thesis pre...
115
Voted
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...