1809 search results - page 197 / 362 » A Formal Specification of dMARS |
WWW
2003
ACM
14 years 10 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
MMSEC
2006
ACM
14 years 3 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
SIGUCCS
2000
ACM
14 years 1 months ago
2000
ACM
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...