1368 search results - page 168 / 274 » Personality-Based Practical Reasoning |
244
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
244
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
130
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
107
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
While the collection of behavioral protocols has been common practice in human-computer interaction research for many years, the analysis of large protocol data sets is often extr...
140
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...