3619 search results - page 95 / 724 » Humor modeling in the interface |
145
click to vote
ENTCS
2006
15 years 4 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
152
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...
124
click to vote
EUROPAR
2001
Springer
15 years 9 months ago
2001
Springer
We consider a networking subsystem for message–passing clusters that uses two unidirectional queues for data transfers between the network interface card (NIC) and the lower prot...
137
click to vote
SPIN
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
126
click to vote
CHI
1999
ACM
15 years 8 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...