6978 search results - page 1128 / 1396 » On Proofs in System P |
200
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The binary form of an image does not tell what the image is about. It is possible to retrieve images from a database using pattern matching techniques, but usually textual descript...
170
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
197
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
183
click to vote
MOBIHOC
2003
ACM
16 years 6 months ago
2003
ACM
The capacity of ad hoc wireless networks is constrained by the interference between concurrent transmissions from neighboring nodes. Gupta and Kumar have shown that the capacity o...
187
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...