1929 search results - page 340 / 386 » A Problem Space Approach to Expert System Specification |
MICCAI
2006
Springer
16 years 22 days ago
2006
Springer
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
190
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
CHI
2009
ACM
16 years 12 days ago
2009
ACM
We present results from a study examining how American Protestant Christians' faith affects their domestic life. There are two contributions of this work for the HCI communit...
225
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
128
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Demands on better interacting with physical world require an effective and comprehensive collaboration mechanism among multiple heterogeneous sensor networks. Previous works mainl...