4770 search results - page 143 / 954 » Flexible Type Analysis |
136
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we propose a novel approach for identity verification based on the directional analysis of velocity-based partitions of an on-line signature. First, interfeature dep...
144
click to vote
TSP
2010
14 years 11 months ago
2010
A novel (differential) entropy estimator is introduced where the maximum entropy bound is used to approximate the entropy given the observations, and is computed using a numerical ...
131
click to vote
IEAAIE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...
282
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
137
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...