839 search results - page 133 / 168 » Answer Set Programming with Resources |
HCW
1999
IEEE
13 years 12 months ago
1999
IEEE
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...
ACL
2001
13 years 9 months ago
2001
We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. Our logical definition leads to a neat relation...
IISWC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
HICSS
2002
IEEE
14 years 17 days ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...