4460 search results - page 628 / 892 » Formal methods for interactive systems |
190
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
163
click to vote
ACMDIS
2006
ACM
16 years 16 days ago
2006
ACM
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...
217
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Although static ranked lists remain the dominant Web search interface, they can limit the ability of Web searchers to find desired information when it is buried deep in the collect...
130
click to vote
WSCG
2000
15 years 8 months ago
2000
In this paper, we propose an e cient technique for the animation of exible thin objects. Massspring model was employed to represent the exible objects. Many techniques have used t...
173
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
This paper concerns the problem of agent trust in an electronic market place. We maintain that agent trust involves making decisions under uncertainty and therefore the phenomenon...