2335 search results - page 373 / 467 » Type Checking Type Classes |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
This exploratory study reports on term-long use of a discussion-based GSS by 137 undergraduate business students in a case-based core MIS course. We develop a model of student par...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
—Existing packet schedulers that provide fair sharing of an output link can be divided into two classes: sorted priority and frame-based. Sorted priority methods provide excellen...
ISBI
2002
IEEE
14 years 1 months ago
2002
IEEE
White matter lesions are common brain abnormalities. In this paper, an automatic method for segmentation of white matter lesions in T1-weighted brain magnetic resonance (MR) image...
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...
GIS
2009
ACM
14 years 1 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...