2646 search results - page 32 / 530 » Local Type Inference |
117
Voted
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We introduce a fibre tractography framework based on a particle filter which estimates a local geometrical model of the underlying white matter tract, formulated as a ...
ICFP
2003
ACM
16 years 13 days ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
89
Voted
CG
2005
Springer
15 years 11 days ago
2005
Springer
This paper describes on-going work in the analysis of motion dynamics in pen-based interaction. The overall goal is the creation of a model of user motion in pen gestures where co...
54
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper investigates several issues in the problem of detecting handwritten markings, or annotations, on printed documents. One issue is to define the appropriate units over wh...
110
Voted
BMCBI
2008
15 years 18 days ago
2008
Background: Amino acid sequence probability distributions, or profiles, have been used successfully to predict secondary structure and local structure in proteins. Profile models ...