Sciweavers

1127 search results - page 2 / 226

» Theory Extension in ACL2(r)

171

CADE
2005
Springer

126views Logical Reasoning» more CADE 2005»

Hierarchic Reasoning in Local Theory Extensions

15 years 11 months ago

Hierarchic Reasoning in Local Theory Extensions

Download www.mpi-inf.mpg.de

Viorica Sofronie-Stokkermans

claim paper

Read More »

124

IJSYSC
1998

40views more IJSYSC 1998»

New efficiency theory: extensions and new applications of data envelopment analysis

15 years 5 months ago

New efficiency theory: extensions and new applications of data envelopment analysis

Download www.econ.ucsb.edu

Jati K. Sengupta

claim paper

Read More »

119

ISCI
1998

97views more ISCI 1998»

Extension Principles for Fuzzy Set Theory

15 years 5 months ago

Extension Principles for Fuzzy Set Theory

Download www.dmi.unisa.it

Giangiacomo Gerla, Luisa Scarpati

claim paper

Read More »

131

LATA
2010
Springer

163views Artificial Intelligence» more LATA 2010»

String Extension Learning Using Lattices

16 years 25 days ago

String Extension Learning Using Lattices

Download www.mpi-inf.mpg.de

Anna Kasprzik, Timo Kötzing

claim paper

Read More »

161

FSE
2009
Springer

107views Cryptology» more FSE 2009»

Multidimensional Extension of Matsui's Algorithm 2

16 years 24 days ago

Multidimensional Extension of Matsui's Algorithm 2

Download www.cis.hut.fi

Matsui’s one-dimensional Alg. 2 can be used for recovering bits of the last round key of a block cipher. In this paper a truly multidimensional extension of Alg. 2 based on estab...

Miia Hermelin, Joo Yeon Cho, Kaisa Nyberg

claim paper

Read More »

« Prev « First page 2 / 226 Last » Next »