10916 search results - page 2120 / 2184 » On Constructive Connectives and Systems |
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...
IUI
2010
ACM
15 years 6 months ago
2010
ACM
People interact with interfaces to accomplish goals, and knowledge about human goals can be useful for building intelligent user interfaces. We suggest that modeling high, human-l...
112
click to vote
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Privacy is an enormous problem in online social networking sites. While sites such as Facebook allow users fine-grained control over who can see their profiles, it is difficult ...
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
ETRA
2010
ACM
15 years 4 months ago
2010
ACM
In order to help users navigate an image search system, one could provide explicit information on a small set of images as to which of them are relevant or not to their task. Thes...