4770 search results - page 532 / 954 » Flexible Type Analysis |
159
click to vote
MEDINFO
2007
15 years 8 months ago
2007
In this paper we describe a model of clinical information designed to make health information systems properly interoperable and safely computable. The model is a response to a nu...
194
click to vote
CASCON
2001
15 years 8 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
182
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
190
click to vote
DICTA
2003
15 years 8 months ago
2003
In this paper, we propose a symmetry-based method for face boundary extraction from a binarized facial image, which contains a number o...
179
click to vote
WSCG
2001
15 years 8 months ago
2001
The problem of detecting specific patterns in images of materials obtained through High Resolution Transmission Electron Microscopy is addressed. A supervised classification metho...