11345 search results - page 11 / 2269 » Foundations of Computer Science |
MOR
2010
13 years 6 months ago
2010
The goal of the current paper is to introduce the notion of certificates which verify the accuracy of solutions of computational problems with convex structure; such problems inc...
PC
1998
13 years 7 months ago
1998
This paper presents a four-faceted framework for distributed applications that use worldwide networks connecting large numbers of people, software tools, monitoring instruments, a...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
JIS
2008
13 years 7 months ago
2008
Some developments in the information science discipline over a period of thirty years are discussed, by selecting topics covered in the early issues of Journal of Information Scie...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
In this paper, we discuss a prototype application deployed at the U.S. National Science Foundation for assisting program directors in identifying reviewers for proposals. The appl...