2233 search results - page 114 / 447 » Modular type classes |
138
click to vote
PPDP
2010
Springer
15 years 25 days ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
142
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
119
click to vote
FOCS
2000
IEEE
15 years 6 months ago
2000
IEEE
We show that the graph isomorphism problem is hard under DLOGTIME uniform AC0 many-one reductions for the complexity classes NL, PL (probabilistic logarithmic space) for every loga...
141
click to vote
ISMB
1998
15 years 3 months ago
1998
Homologousproteins do not necessarily exhibit identical biochemicalfunction. Despitethis fact, local or global sequence similarity is widely used as an indication of functional id...
129
click to vote
TIFS
2010
14 years 9 months ago
2010
Quantitative steganalysis strives to estimate the change rate defined as the relative number of embedding changes introduced by steganography. In this paper, we propose two new cla...