4460 search results - page 439 / 892 » Formal methods for interactive systems |
186
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
The geometry of plane-based calibration methods is well understood, but some user interaction is often needed in practice for feature detection. This paper presents a fully automa...
161
click to vote
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
164
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...
182
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Technologies can be used ? or appropriated ? in different ways by different users, but how do the use patterns evolve, and how can design facilitate such evolution? This paper app...
165
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we discuss a screening process used in conjunction with a survey administered via Amazon.com’s Mechanical Turk. We sought an easily implementable method to disqual...