21094 search results - page 4106 / 4219 » An experiment using DLV-K |
140
click to vote
POPL
1992
ACM
15 years 4 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
98
Voted
SC
1992
ACM
15 years 4 months ago
1992
ACM
A common debugging strategy involves reexecuting a program (on a given input) over and over, each time gaining more information about bugs. Such techniques can fail on message-pas...
110
click to vote
JELIA
1990
Springer
15 years 4 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
103
click to vote
DAC
1998
ACM
15 years 4 months ago
1998
ACM
Interconnect-driven optimization is an increasingly important step in high-performance design. Algorithms for buffer insertion have been successfully utilized to reduce delay in gl...
145
Voted
ACMICEC
2007
ACM
15 years 4 months ago
2007
ACM
Purchasing decisions are often strongly influenced by people who the consumer knows and trusts. Moreover, many online shoppers tend to wait for the opinions of early adopters befo...