6740 search results - page 940 / 1348 » Using Classification as a Programming Language |
181
click to vote
ENTCS
2008
15 years 7 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
175
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
201
click to vote
EACL
2009
ACL Anthology
15 years 4 months ago
2009
ACL Anthology
We show how global constraints such as transitivity can be treated intensionally in a Zero-One Integer Linear Programming (ILP) framework which is geared to find the optimal and c...
184
Voted
EMNLP
2009
15 years 4 months ago
2009
Unknown lexical items present a major obstacle to the development of broadcoverage semantic role labeling systems. We address this problem with a semisupervised learning approach ...
397
click to vote
Tutorial
"To be a good programmer is difficult and noble. The hardest part of making real a collective vision of a software project is dealing with one's coworkers and customers. ...