4460 search results - page 313 / 892 » Formal methods for interactive systems |
205
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
174
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
The ability to detect and differentiate breakpoints during task execution is critical for enabling defer-to-breakpoint policies within interruption management. In this work, we ex...
170
click to vote
BCSHCI
2007
15 years 8 months ago
2007
An important part of an interaction designer’s work is meeting with clients during design sessions. It is of great importance that the designers participate in establishing some...
187
click to vote
MATES
2007
Springer
16 years 24 days ago
2007
Springer
Developing agent applications is a complex and difficult task due to a variety of reasons. One key aspect making multi-agent systems more complicated than traditional applications ...
214
click to vote
CG
2008
Springer
15 years 6 months ago
2008
Springer
Particle-based simulation methods are used to model a wide range of complex phenomena and to solve time-dependent problems of various scales. Effective visualizations of the resul...