31686 search results - page 296 / 6338 » Resource typing in Guru |
CBMS
2005
IEEE
15 years 2 months ago
2005
IEEE
In this study, a neural network based approach is used to predict the presence of Maturity Onset Diabetes type 3, referred as MODY3 Type II diabetes mellitus. The study has used b...
COMPGEOM
2005
ACM
15 years 2 months ago
2005
ACM
Order Type Extension and New Results ectilinear Crossing Number - Extended Abstract Oswin Aichholzer∗ Hannes Krasser† We provide a complete data base of all realizable order t...
106
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
108
click to vote
FOAL
2007
ACM
15 years 2 months ago
2007
ACM
We present a preliminary report on typing systems for polyadic µABC, aspect oriented programming—pointcuts and advice—and nothing else. Tuples of uninterpreted names are used...
97
Voted
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...