8874 search results - page 1592 / 1775 » A New Implementation of Automath |
164
click to vote
WWW
2003
ACM
16 years 5 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...
263
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
253
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
255
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
144
click to vote
CCS
2009
ACM
16 years 5 months ago
2009
ACM
In distributed systems users need the ability to share sensitive content with multiple other recipients based on their ability to satisfy arbitrary policies. One such system is el...