1050 search results - page 7 / 210 » Towards programming for the non-technical |
141
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
132
Voted
ACL
2009
15 years 1 months ago
2009
We formulate the problem of nonprojective dependency parsing as a polynomial-sized integer linear program. Our formulation is able to handle non-local output features in an effici...
185
Voted
AGP
2010
IEEE
15 years 1 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
102
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM