1863 search results - page 170 / 373 » Unifying Theories of Objects |
Book
"There is a very large literature on the theoretical underpinnings of the
wavelet transform. However, theory must be complemented with a significant
amount of practical work...
MICCAI
2005
Springer
14 years 10 months ago
2005
Springer
This paper introduces a novel solver, namely cross entropy (CE), into the MRF theory for medical image segmentation. The solver, which is based on the theory of rare event simulati...
CIE
2007
Springer
14 years 3 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
FMCO
2005
Springer
14 years 2 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
CADE
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...