4255 search results - page 728 / 851 » Cover |
166
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
125
click to vote
IUI
2010
ACM
16 years 2 months ago
2010
ACM
The development of mobile applications has now extended from mobile network providers into the hands of ordinary people as organizations and companies encourage people to come up ...
210
click to vote
Source Code
The CImg Library is an open source, C++ toolkit for image processing, designed with these properties in mind :
Usefulness
CImg defines classes and methods to manage images in y...
397
click to vote
STACS
2010
Springer
16 years 13 days ago
2010
Springer
Abstract. In this talk, I will review some of the work performed by the research community in cryptology and security since the invention of public key cryptography by Diffie and H...
169
click to vote
SAC
2010
ACM
16 years 9 days ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...