1389 search results - page 41 / 278 » Definability as hypercomputational effect |
MICCAI
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. We present a new method for the fast and robust computation of information theoretic similarity measures for alignment of multi-modality medical images. The proposed meth...
COMPSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Cybernetics, among its more general definitions, is about effective governance of dynamic probabilistic systems. First order cybernetics is concerned with [software] processes gov...
EUROSPI
2005
Springer
15 years 4 months ago
2005
Springer
Even if the application developers produce software in accordance with the customer requirements, they cannot guarantee that the software will behave in a safe way during the lifet...
ICCSA
2005
Springer
15 years 4 months ago
2005
Springer
Since syntactically different URLs could represent the same resource in WWW, there are on-going efforts to define the URL normalization in the standard communities. This paper cons...
LFCS
1994
Springer
15 years 3 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...