22909 search results - page 4499 / 4582 » A System of Interaction and Structure |
174
click to vote
POPL
2010
ACM
16 years 3 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...
142
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Modern processing technologies offer a number of types of devices such as high-VT , low-VT , thick-oxide, etc. in addition to the nominal transistor in order to meet system perfor...
154
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...
164
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
In online content voting networks, aggregate user activities (e.g., submitting and rating content) make high-quality content thrive through the unprecedented scale, high dynamics ...
170
click to vote
EDBT
2010
ACM
16 years 27 days ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...