Search Sciweavers | Sciweavers

27119 search results - page 50 / 5424

» Languages

Voted

ESOP
2005
Springer

121views Programming Languages» more ESOP 2005»

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries

15 years 9 months ago

Download www-verimag.imag.fr

Romain Janvier, Yassine Lakhnech, Laurent Mazar&ea...

claim paper

Read More »

Voted

IJCNLP
2005
Springer

138views Natural Language Processing» more IJCNLP 2005»

Analogy as Functional Recategorization: Abstraction with HowNet Semantics

15 years 9 months ago

Download afflatus.ucd.ie

Tony Veale

claim paper

Read More »

101

Voted

PADL
2005
Springer

108views Programming Languages» more PADL 2005»

Code Compression

15 years 9 months ago

Download www.cs.ucsb.edu

Saumya K. Debray

claim paper

Read More »

102

click to vote

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

15 years 9 months ago

Download people.cs.uu.nl

Bastiaan Heeren, Jurriaan Hage

claim paper

Read More »

121

Voted

UML
2005
Springer

155views Natural Language Processing» more UML 2005»

Computing Refactorings of Behavior Models

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers