2646 search results - page 196 / 530 » Local Type Inference |
166
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
We previously presented a HAMMER image registration algorithm that demonstrated high accuracy in superposition of images from different individual brains. However, the HAMMER regis...
187
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
142
click to vote
PR
2007
15 years 6 months ago
2007
We previously presented an image registration method, referred to hierarchical attribute matching mechanism for elastic registration (HAMMER), which demonstrated relatively high a...
277
click to vote
ICETET
2009
IEEE
15 years 4 months ago
2009
IEEE
A completely automatic face recognition system is presented. The method works on color face images and localizes the face region from them initially. It then determines and select...
268
click to vote
PLPV
2011
ACM
14 years 9 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...