2335 search results - page 193 / 467 » Type Checking Type Classes |
COMGEO
2012
ACM
12 years 6 months ago
2012
ACM
We study a class of multi-commodity flow problems in geometric domains: For a given planar domain P populated with obstacles (holes) of K ≥ 2 types, compute a set of thick path...
FUIN
2010
13 years 9 months ago
2010
Abstract. A (combinatorial) channel consists of pairs of words representing all possible inputoutput channel situations. In a past paper, we formalized the intuitive concept of “...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
For the tasks of classification, two types of patterns can generate problems: ambiguous patterns and outliers. Furthermore, it is possible to separate classification algorithms in...
IPMI
2001
Springer
14 years 11 months ago
2001
Springer
A mixture model clustering algorithm is presented for robust MRI brain image segmentation in the presence of partial volume averaging. The method uses additional classes to represe...
ECOOP
2009
Springer
14 years 11 months ago
2009
Springer
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...