1389 search results - page 41 / 278 » Definability as hypercomputational effect |
157
click to vote
MICCAI
2007
Springer
16 years 6 months 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...
141
click to vote
COMPSAC
2006
IEEE
16 years 12 hour 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...
146
click to vote
EUROSPI
2005
Springer
15 years 11 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...
148
click to vote
ICCSA
2005
Springer
15 years 11 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...
162
click to vote
LFCS
1994
Springer
15 years 10 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...