9176 search results - page 1687 / 1836 » algorithms 2010 |
171
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
The use of machine learning tools is gaining popularity in neuroimaging, as it provides a sensitive assessment of the information conveyed by brain images. In particular, finding ...
189
click to vote
MIDDLEWARE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. To disseminate messages from a single source to a large number of targeted receivers, a natural approach is the tree-based application layer multicast (ALM). However, in ...
157
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
200
click to vote
PAMI
2010
15 years 4 months ago
2010
—Representative surface reconstruction algorithms taking a gradient field as input enforces the integrability constraint in a discrete manner. While enforcing integrability allo...
200
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...