910 search results - page 75 / 182 » XACML Function Annotations |
BMCBI
2007
14 years 11 months ago
2007
Motivation: Protein subcellular localization is crucial for genome annotation, protein function prediction, and drug discovery. However, since determining subcellular localization...
MICCAI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present a novel approach to fully automated reconstruction of tree structures in noisy 2D images. Unlike in earlier approaches, we explicitly handle crossovers and bif...
184
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
67
Voted
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...