1350 search results - page 62 / 270 » Reasoning about Staged Computation |
188
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
KR
2010
Springer
15 years 2 months ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
ECSQARU
1999
Springer
15 years 2 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
— Massive data analysis on large clusters presents new opportunities and challenges for query optimization. Data partitioning is crucial to performance in this environment. Howev...
100
click to vote
FCSC
2010
14 years 7 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...