973 search results - page 97 / 195 » Be Prepared |
113
Voted
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
111
Voted
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
123
click to vote
IWOMP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a novel proposal to define task parallelism in OpenMP. Task parallelism has been lacking in the OpenMP language for a number of years already. As we ...
136
Voted
MICCAI
2007
Springer
15 years 10 months ago
2007
Springer
Motivated by the current limitations of automated quantitative image analysis in discriminating among intracellular immunohistochemical (IHC) staining patterns, this paper presents...
130
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...