1664 search results - page 241 / 333 » Towards Partial Reasoning |
146
click to vote
LPNMR
2007
Springer
16 years 14 days ago
2007
Springer
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the...
202
click to vote
CSFW
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
142
click to vote
PLDI
2006
ACM
16 years 8 days ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
172
click to vote
ICNP
2005
IEEE
15 years 12 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
165
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
— We study hybrid search schemes for unstructured peer-to-peer networks. We quantify performance in terms of number of hits, network overhead, and response time. Our schemes comb...