Sciweavers

10271 search results - page 597 / 2055
» Computer Science
Sort
View
TLDI
2009
ACM
100views Formal Methods» more  TLDI 2009»
16 years 4 months ago
Typed transformations of typed abstract syntax
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
Arthur I. Baars, S. Doaitse Swierstra, Marcos Vier...
JCDL
2006
ACM
94views Education» more  JCDL 2006»
16 years 1 months ago
Curriculum development for digital libraries
The Virginia Tech Department of Computer Science (VT CS) and the University of North Carolina at Chapel Hill School of Information and Library Science (UNC SILS) have launched a c...
Jeffrey Pomerantz, Barbara M. Wildemuth, Seungwon ...
ICALP
1997
Springer
15 years 11 months ago
NP-Completeness: A Retrospective
For a quarter of a century now, NP-completeness has been computer science's favorite paradigm, fad, punching bag, buzzword, alibi, and intellectual export. This paper is a fra...
Christos H. Papadimitriou
COCO
1991
Springer
130views Algorithms» more  COCO 1991»
15 years 10 months ago
One-Way Functions, Hard on Average Problems, and Statistical Zero-Knowledge Proofs
Abstract Rafail Ostrovskyy MIT Laboratory for Computer Science 545 Technology Square, Cambridge, MA 02139 In this paper, we study connections among one-way functions, hard on the ...
Rafail Ostrovsky
FLAIRS
2008
15 years 9 months ago
Concept of an Interactive Web Portal for Teaching Prolog
The paper presents observations concerning teaching Prolog to computer science students. Basing on these experiences an interactive web-portal is proposed to support teaching. Som...
Grzegorz J. Nalepa, Igor Wojnicki