1350 search results - page 101 / 270 » Reasoning about Staged Computation |
142
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
193
click to vote
ACL
2009
15 years 3 months ago
2009
Searching for a person name in a Web Search Engine usually leads to a number of web pages that refer to several people sharing the same name. In this paper we study whether it is ...
141
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
154
click to vote
APLAS
2009
ACM
15 years 12 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
150
click to vote
AIMS
2008
Springer
15 years 11 months ago
2008
Springer
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....