2646 search results - page 235 / 530 » Local Type Inference |
180
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
206
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Edge detection in images has been a fundamental problem
in computer vision from its early days. Edge detection
on surfaces, on the other hand, has received much less attention.
...
187
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Over the past decade, tremendous amount of research activity has focused around the problem of localization in GPS denied environments. Challenges with localization are highlighte...
186
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
We present a new method for detecting the interface, or edge, structure present in diffusion MRI. Interface detection is an important first step for applications including segmenta...
171
click to vote
WDAG
2009
Springer
16 years 1 months ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...