1199 search results - page 5 / 240 » How to Compare the Power of Computational Models |
111
click to vote
SPIN
1999
Springer
15 years 3 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
103
click to vote
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
ISWC
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper describes non-ideal properties of batteries and how these properties may impact power-performance trade-offs in wearable computing. The first part of the paper details ...
CHI
2003
ACM
15 years 12 months ago
2003
ACM
This research investigates the cognitive strategies and eye movements that people use to search for a known item in a hierarchical computer display. Computational cognitive models...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Computer agents participate in many collaborative and competitive multiagent domains in which humans make decisions. For computer agents to interact successfully with people in su...