2646 search results - page 292 / 530 » Local Type Inference |
163
click to vote
TSMC
2002
15 years 6 months ago
2002
Abstract--This paper proposes a new algorithm for the reduction of the number of colors in an image. The proposed adaptive color reduction (ACR) technique achieves color reduction ...
200
Voted
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
Many vertical search tasks such as local search focus on specific domains. The meaning of relevance in these verticals is domain-specific and usually consists of multiple well-d...
249
click to vote
ADHOCNOW
2004
Springer
16 years 3 days ago
2004
Springer
Many ad hoc routing algorithms rely on broadcast flooding for location discovery or more generally for secure routing applications, particularly when dealing with Byzantine threat...
182
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
183
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Configurations of dense locally parallel 3D curves occur in medical imaging, computer vision and graphics. Examples include white matter fibre tracts, textures, fur and hair. We d...