1982 search results - page 207 / 397 » Parametricity and dependent types |
171
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
1 In this paper we introduce a novel method of automating thesauri using syntactically constrained distributional similarity. With respect to syntactically conditioned cooccurrence...
175
click to vote
CNSR
2008
IEEE
16 years 29 days ago
2008
IEEE
Secure and energy efficient transmission is a main concern in many wireless sensor network applications. In this paper, two types of denial-of-service attacks that affect the rout...
161
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
Keeping diagnostic resolution as high as possible while maximizing the compaction ratio is subject to research since the advent of embedded test. In this paper, we present a novel...
176
click to vote
ICPR
2008
IEEE
16 years 28 days ago
2008
IEEE
Segmentation is one of the first and most integral pre-processing steps for any Fingerprint Recognition System. It is used to identify the region of interest within an image. Perf...
163
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...